No objection was raised, the vote therefore passes. I'll proceed with the migration.
Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
