[New-bugs-announce] [issue25062] Doc linter error: [2] library/typing.rst:358: default role used

[STINNER Victor]

New submission from STINNER Victor:

The Docs buildbot is red since the changeset 7fc4306d537b5feedb7f9dac54d96ed378c093a7.

http://buildbot.python.org/all/builders/Docs%203.x/builds/52

----------
assignee: docs at python
components: Documentation
messages: 250400
nosy: docs at python, gvanrossum, haypo
priority: normal
severity: normal
status: open
title: Doc linter error:  [2] library/typing.rst:358: default role used
versions: Python 3.6

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue25062>
_______________________________________