[darcs-devel] [issue2332] Attempting to enter default choice key literally gives unhelpful message

noreply bugs at darcs.net
Sun Feb 9 16:01:25 UTC 2014


noreply <noreply at darcs.net> added the comment:

The following patch sent by Guillaume Hoffmann <guillaumh at gmail.com> updated issue issue2332 with
status=resolved;resolvedin=2.10.0 HEAD

* resolve issue2332: ignore case of characters in prompt 
Ignore-this: 1b6d417b5d707a95d2d6e6dc6aff7a4b

----------
resolvedin:  -> 2.10.0 HEAD
status: unknown -> resolved

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2332>
__________________________________


More information about the darcs-devel mailing list