It took a few weeks longer, but we wanted to give the v1.3 branch a spin in production before we moved the master branch pointer.
In our testing things have worked nicely, so master now points to v1.3.1, which incorporates the latest GCC4.7 fixes.
Enjoy,
Magnus