Ulf Jasper <ulf.jasper@web.de> writes: > Fixed in f7438fc859. Thanks; I can confirm that this fixes the problem, so I'm closing thing bug report.