On 11/11/2013 04:57 PM, Petr Sebor wrote: > Not having push access rights, I hope this fix gets merged soon. > Hopefully a stable release candidate as well. I'll do so in a bit. I'll tag it for the 9.2 and 10.0 branches too. -Brian