Greg Stein wrote on Thu, Jun 27, 2013 at 20:10:55 +0000: > On Thu, Jun 27, 2013 at 05:51:22PM +0100, Philip Martin wrote: > > George Schizas <gschi...@gmail.com> writes: > > > > > know if I should also post this to the dev list > > > > Yes, patches to dev please. > > No need. I've already patched it: r1497551. We should backport this to > the 1.8.x series.
For the record, the change has been nominated for backport and I expect it will be included in 1.8.1.
