[darcs-devel] [issue1880] record reports different filenames than whatsnew (Unicode)
Ben Franksen
bugs at darcs.net
Sat Aug 1 15:06:03 UTC 2020
Ben Franksen <ben.franksen at online.de> added the comment:
This should be fixed by now. We have lots of tests for this and they
all succeed (nowadays).
----------
status: unknown -> resolved
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1880>
__________________________________
More information about the darcs-devel
mailing list