Hi all with a -1 by Gary Gregory and +1s by Emmanuel Bourg, Luc Maisonobe, Phil Steitz and myself the vote has passed.
I'll publish all artefacts and update the site/announce the release
after the mirrors had time to catch up.
Thanks
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
