gregor herrmann <[email protected]> writes: > This reminds me of #635018 which is making my unhappy since I first > stumbled over it; does this look like it's the same issue?
Yes, seems to be the same one according to message #15. You can simply try my patch (or a different one) and see whether this is fixed as well. > Cheers, > gregor Best regards, Michael. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
