On 11/07/13 08:37, Duncan Sands wrote: > Hi Mark, > > On 03/07/13 09:36, Mark Lacey wrote: >> Ping? > > sorry for the delay, LGTM! Thanks for doing this, and in particular for adding > all those helpful comments! Applied in commit 186069. Ciao, Duncan.