On 17/11/2015 11:56 p.m., Amos Jeffries wrote: > Updated patch attached. AFAICS this contains all the previously > requested changes. > Absent any objections, I have applied this as trunk rev.14418. Amos