I think it is time for a 5.1.2 release, since we've found and fixed a
couple of bugs since the last release.
I am redirecting the nightly build scripts to use the 5.1 repo.
The main repository will thus be untested for a while.
Unless I hear protests, I'll make the new release towards the end of
On Mon, 13 May 2013, Torbjorn Granlund wrote:
I think it is time for a 5.1.2 release, since we've found and fixed a
couple of bugs since the last release.
I am redirecting the nightly build scripts to use the 5.1 repo.
The main repository will thus be untested for a while.
Unless I hear
Marc Glisse marc.gli...@inria.fr writes:
I need to backport a couple changes that I made soon after 5.1
branched, I'll try to do that soon...
Sorry, I had missed that.
I will not make the release until you have the time to address this.
--
Torbjörn