On Thu, 16 Jan 2020 at 15:30, Pierre Neidhardt wrote: > I've merged your patch 38678. Cool! Thank you. > Should I fix this for you? Yes, for sure. Patch attached. Cheers, simon