My quick search before posting was obviously too quick: this bug is a duplicate of #495364. Sorry.
I don’t send a message with “merge” because I’m unfamiliar with the system. Cheers, Merwok “Free software is artificial life, but better” -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
