28 May
2015
28 May
'15
11:40 a.m.
On May 28, 2015, at 11:13 AM, Sebastian Hagedorn <Hagedorn@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.