Jonathan Wakely wrote: >OK to commit to mainline and v7 branch? > > Yes, it's ok, mainline and, as soon as the branch reopens, 4.0.1 (v7 will pick it at the next merge). Paolo.