On Wednesday, 9 July 2014 at 16:12:01 UTC, Sönke Ludwig wrote:
Shall I just commit the file (with you as the author of course), or do you want to open a pull request?
You can commit the file. That's ok with me :)
I've tried it now and it worked flawlessly so far.
I'm glad :) Thx