Just a heads-up, 1.12.3RC1 is due this Friday. As Jeremy is currently away and I'll be doing this cycle. If you have patches that you want to see on the 1.12 branch please send them to me, preferably as pull request. And beware, Friday may come earlier than you'd think, given that I'm practically from the future (UTC+10). Cheers, Peter