Re: Should we release 4.12?

[Justin Mclean]

Hi,

The cat is already out of the bag - the tags are mirrored in github and 4.12 
been published on the mirrors so anyone who's paying attention can see there a 
4.12 release out there. (And yes it's been noticed on twitter.)

Justin