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!