Torsten Bögershausen Tue, 25 Dec 2018 02:43:43 -0800
Should it be s/respect core.fileMode/respect core.ignoreCase/
in the header line ?