Comment 1 for bug 130553

By the way, comparing the files individually shows there are no diffs.

diff -qr on just the directory with those files gives the same problem.

Creating dummy files with just those names in another directory does not reproduce. Nor does recreating the whole directory with dummy files.

I can't do anything for about a week but if you have any test you'd like me to run, let me know.