[docs] [issue25062] Doc linter error: [2] library/typing.rst:358: default role used

Guido van Rossum report at bugs.python.org
Thu Sep 10 21:37:04 CEST 2015

Guido van Rossum added the comment:

Thanks everyone! This episode shows I should not try to commit CPython stuff. Period.


Python tracker <report at bugs.python.org>

More information about the docs mailing list