Hi all, Erjan made several pull-requests using GitHub, which is really nice. But every now and than the mailing list identifies those as spam. I've now looked a bit closer at those, and marked the github message as ok. So all should be delivered now.
Erjan: If you feel something is missing, or some PR is overlooked, please reply to this message. I'll take a look to see if I've missed some mails incorrectly identified as spam. Anyway, thanks for the PRs! -- Met vriendelijke groet, Alexander Broekhuis