[darcs-devel] [issue1739] "Char.intToDigit: not a digit" in darcs changes

[gh]

New submission from gh <guillaumh at gmail.com>:

When doing a "darcs changes" with darcs unstable on the wiki repository
(darcs get http://wiki.darcs.net), it stops on that patch with the
(apparently nested) error:

Wed Oct 28 12:30:29 CET 2009  nomeata <mail at joachim-breitner.de>
  * Idarcs: Char.intToDigit: not a digit 513

----------
messages: 9974
nosy: darcs-devel, dmitry.kurochkin, gh
status: unknown
title: "Char.intToDigit: not a digit" in darcs changes

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