Humza Shahid 6d9ad9b13b rename a file and a structure because another file with the same name exists, except that one is lowercase and the other is uppercase. Case insensitive filesystems don't like that they had the same name before, except for the case.

2025-09-02 02:14:12 +01:00

1.3 KiB

Raw Blame History

View Raw