Hi, * Peter Collingbourne wrote:
I am resending this patch as it seems to have been overlooked.
Pushed as 2fefd56f440c, thanks. Rocco