Julien Palard <julien+pyt...@palard.fr> 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 <rep...@bugs.python.org> <https://bugs.python.org/issue42238> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com