Hi, Please review #386679.
I'd like to hear opinions about it, whether it is a discover1 or discover bug. Thanks. p.s. I'm not subscribed, please CC me. -- Lior Kaplan [EMAIL PROTECTED] GPG fingerprint: C644 D0B3 92F4 8FE4 4662 B541 1558 9445 99E8 1DA0 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]