11 Oct
2017
11 Oct
'17
1:48 p.m.
Hello Michael,
thanks for notifying me about these broken patches. I have absolutely no idea why this is happening - git does not seem to like me. :-(
Working on this...
Best regards, Peter Müller