[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