On 2018-09-18 17:55, Tom Tromey wrote: > Simon> Does this look good? > > Yes, thanks. > > Tom Thanks, I'll wait to see if Sergio has any comment about this before pushing. Simon