Re: [PATCH] teach bugzilla reporter to use a different comment format for dups