Hi Torsten,

On Tue, 25 Dec 2018, Torsten Bögershausen wrote:

> 
> Should it be
> s/respect core.fileMode/respect core.ignoreCase/
> 
> in the header line ?

Yep. Fixed.
Dscho