Hi, With the latest version 4.2, reportbug automatically stops after having been configured. So I think we may consider this bug as closed.
Bye, Carl Chenet -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

