Julien Palard <[email protected]> added the comment:
> You gave me a small shock, but I checked and it was only 11/12 years ago :D
HAha! Either I misstyped 12 as 21, either I'm bad at math, sorry for the shock
;)
> I'm fine with moving this out of tree; please coordinate with the Sphinx
> maintainers whether it should be an "official" extension or completely
> separate.
They propose [1] to have it in sphinx-contrib ("A collection of Sphinx
extensions maintained by their respective authors. It is not an official part
of Sphinx."), what do you think?
[1] https://github.com/sphinx-doc/sphinx/issues/10143#issuecomment-1025093280
----------
_______________________________________
Python tracker <[email protected]>
<https://bugs.python.org/issue42238>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
