On May 28, 2015, at 11:13 AM, Sebastian Hagedorn <Hagedorn at uni-koeln.de> wrote: > For that particular problem I have come up with this, which seems to work: The mailing list mangles whitespace in patches. Please use github, it makes things much easier. Alan DeKok.