On 22 June 2015 at 14:14, Arnaud Quette <arnaud.quette at gmail.com> wrote: > here is the patch, before I completly forgot. I've pushed this, thanks. Richard.