On 1 December 2013 13:15, Anton Korobeynikov <anton at korobeynikov.info> wrote: > I'm ok. Actually, my original e-mail was mostly "I think it should go > to the release branch, am I right?" :) Thanks Anton & Renato. I've committed it as r196046 and I'll ask Bill to merge it across. Tim.