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,