On 28-Aug-08, 02:19 (CDT), Raphael Hertzog <hertzog@debian.org> 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.