mailing list moving to mailman

[Michiel Boland]

Hi. Just a short note to indicate that this list is still alive. :)
I will be migrating this list from majordomo to mailman somewhere during this 
month. There will be another message when the migration is complete.

Cheers
Michiel