[issue3251] references are case insensitive

Georg Brandl <[EMAIL PROTECTED]> added the comment: Thanks, fixed in r64642. -- resolution: -> fixed status: open -> closed ___ Python tracker <[EMAIL PROTECTED]> ___

[issue3251] references are case insensitive

New submission from Wolfgang Langner <[EMAIL PROTECTED]>: 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