Hi,
as discussed on the phone with the other developers, I would like to release 1.12.5 soon,
probably early next week (I'm travelling tomorrow).
If there is a patch you'd like to have cherry-picked for 1.12 or a fix that you
believe should be holding up 1.12.5, please speak up!