Hi Thomas, should this bug report maybe be merged with #412889, where tokkee kindly provided a patch? It's not actually the same thing being reported, but I don't see anything that could be done here, other what is proposed for #412889.
Best, Michael
pgpIB4RibpnnD.pgp
Description: PGP signature
