Voting was as follows: +1 (binding)
Luc Maisonobe Joerg Schaible Oliver Heger Phil Steitz Gary Gregory Thomas Neidhart There were no other votes. The vote therefore passes. Thanks to all who voted. Thomas --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
