* I promoted a new stable vm (3rd or 4th attempt, I do not remember).
Let's hope this time it works :)
7 May 2018:
* I spent the full that (along with many days before today) fixing the build of libgit2 for the VM in linux 32bit.
This was broken since a lot of time and it was making impossible to release a new stable version.
I made to OSVM, and the result is what seems to be a valid build (linux 32bit shows a healthy libgit2).
I will wait a couple of days to test but that means we can release a new stable VM, perhaps wednesday.