[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