On Thu, Jul 25, 2019 at 12:04:00PM +0200, Klaas de Waal wrote: > Done in master, 30-fixes and 29-fixes. > Thanks for reporting the bug and the fix. Cool, thank you for fixing it so quickly.