On 19/08/2014 10:08 p.m., Amos Jeffries wrote: > On 10/08/2014 10:37 p.m., Markus Moeller wrote: >> Apologies. I must have overlooked it. Here is the updated patch >> > > This one looks much better. If there are no objections I will apply it > shortly. > > Amos >
Applied as trunk rev.13538 Amos