The vote has passed with +1s by
Emmanuel Bourg
Oliver Heger
Luc Maisonobe
Gary Gregory
Jörg Schaible
and no other votes.
I'll proceed with publishing the release artifacts but it may take a bit
longer than usual to update the site as I'm traveling right now. Should
be done by Friday the latest.
Thanks to all who took the time to review the release
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
