Commit 2023-08-28 05:30 9460288d

fix(test/{ Change - change }): merge the files test/Change and test/change (#6821) The motivation is that on case-insensitive system, the files overwrite each other. The bash command

# uniq -D: print all duplicate lines
git ls-files | sort --ignore-case | uniq -D --ignore-case

lists all the paths that are identical when upper/lower case is ignored. Zulip