Mike Hommey <[EMAIL PROTECTED]> wrote: Hi,
> Now I finally took the time to do a build with optimizations off, it > doesn't happen anymore, even with the version you reported the bug > against :-/ > > What do you think about closing this bug ? Yep, seems to be fixed. JB. -- Julien BLACHE <[EMAIL PROTECTED]> | Debian, because code matters more Debian & GNU/Linux Developer | <http://www.debian.org> Public key available on <http://www.jblache.org> - KeyID: F5D6 5169 GPG Fingerprint : 935A 79F1 C8B3 3521 FD62 7CC7 CD61 4FD7 F5D6 5169 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]