On Tue, Feb 03, 2009 at 05:20:28PM -0500, (private) HKS wrote: > I made the following bug report on 2009-01-08, but didn't get a PR > number back. Did I botch this report, or does the bugs@ address > require hands-on that this report simply hasn't gotten yet? > > Thanks for the clarification.
PR's are assigned to bugs made using the sendbug program. I notice PR/6071 looks similar to yours, maybe that's the one you're looking for? -- Ariane

