On 02/04/20 10:44 +0200, Andrea Corallo wrote: >Jonathan Wakely <jwakely@redhat.com> writes: > >> On 01/04/20 16:56 +0100, Jonathan Wakely wrote: > >> Does that help, or does it still fail for other reasons? > >Yes it does thanks! Updated patch follows. > >Okay for trunk? OK, thanks.