Hi Karl, Thank you for further investigating this issue; it seems like we almost concurrently posted our analyses :-)
[...] > > > Attached the patch to fix this. > [...] The proposed patch would un-fix #600715, which was precisely what caused the current problem. The problem is now tracked as #605947. Best regards, Michael
pgpJv48tNyDU4.pgp
Description: PGP signature
