references are case insensitive

[tds333]

BPO	3251
Nosy	@birkenfeld, @tds333

^{Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.}

Show more details

GitHub fields:

assignee = 'https://github.com/birkenfeld'
closed_at = <Date 2008-07-01.21:02:56.461>
created_at = <Date 2008-07-01.13:55:09.299>
labels = ['docs']
title = 'references are case insensitive'
updated_at = <Date 2008-07-01.21:02:56.460>
user = 'https://github.com/tds333'

bugs.python.org fields:

activity = <Date 2008-07-01.21:02:56.460>
actor = 'georg.brandl'
assignee = 'georg.brandl'
closed = True
closed_date = <Date 2008-07-01.21:02:56.461>
closer = 'georg.brandl'
components = ['Documentation tools (Sphinx)']
creation = <Date 2008-07-01.13:55:09.299>
creator = 'tds333'
dependencies = []
files = []
hgrepos = []
issue_num = 3251
keywords = []
message_count = 2.0
messages = ['69045', '69077']
nosy_count = 2.0
nosy_names = ['georg.brandl', 'tds333']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = None
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue3251'
versions = []

[tds333]

References can be added case sensitive as .. _myRef:
but only used case insensitive with :ref:`myref`
usage of :ref:`myRef` doesn't generate a working reference.

Make this behavior consistent please, always case insensitive or always
case sensitive.

[birkenfeld]

Thanks, fixed in r64642.