On Tue, 17 Mar 2009 16:16:02 +0100 Denis Briand <[email protected]> wrote:
> I can't reproduce this bug on that config : After a new dist-upgrade the bug seems to be solved. I think, it was a temporary problem. best regards Thomas Kross -- [email protected] <[email protected]> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
