I pushed your commits manually, then followed up with a few commits making the changes:

No testing though, should there be any problem after my additions, just open a bug report.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.