Control: tag -1 pending

Hello,

Bug #1093324 in coq-doc reported by you has been fixed in the
Git repository and is awaiting an upload. You can see the commit
message below and you can check the diff of the fix at:

https://salsa.debian.org/ocaml-team/coq-doc/-/commit/1927193ce7eb97aa0546380f1ba38dab4a2bb0ec

------------------------------------------------------------------------
Add patch to compile with recent Python versions (Closes: #1093324, #1193100)
------------------------------------------------------------------------

(this message was generated automatically)
-- 
Greetings

https://bugs.debian.org/1093324

Reply via email to