On 28-Aug-08, 02:19 (CDT), Raphael Hertzog <[EMAIL PROTECTED]> wrote: > Also, how would you check that a bug has not already been filed > manually by another user?
Why, the same way all the manual duplicate bug filers[1] check :-) Steve [1] yes, I've filed a few duplicates in my life, no need to point them out. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]