On 21/11/17 16:36 +0000, Przemyslaw Wirkus wrote: >On 21/11/17 15:27 +0000, Jonathan Wakely wrote: >>>OK for trunk? > >>OK, thanks. > >I don't have privileges to commit. Could you please commit it on my behalf? Done - thanks again for the patch.