Duplicate disklrucache.txt files
Could you be so kind as to rename one of the disklrucache.txt files in the srclibs directory? There are two files there with the same name, but different case. This causes git issues when working on Mac OS (or any other OS with a case-insensitive file system).
Many thanks :)