On 16/08/2016 7:53 p.m., Amos Jeffries wrote: > Friendly ping. This is getting close to the 10-day merge criteria. > Anyone other than me had time to test (or audit) the lastest patch? > Applied the latest updated patch to trunk as r14817. Amos