> "I would like to close this. Objections?" I would suggest reducing the severity instead, perhaps with a rename. Otherwise there is a risk of duplicates being raised, and the issue repeating itself.
Regards, Peter -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

