Andras Salamon wrote: > On Sat, Aug 20, 2011 at 08:33:29AM +0200, Jim Meyering wrote: >>Pádraig Brady wrote: >>> I'd liked to see http://debbugs.gnu.org/cgi/bugreport.cgi?bug=9321 >>> looked into before release (segfaults in sort) >> >>So would I. I've just replied there. > > I am seeing no evidence of the problems on another machine, so must > assume this is local to the original hardware. Please close #9321.
Thanks for letting us know. I've closed it and tagged it "notabug". FYI, you could have closed it yourself by sending this message to 9321-d...@debbugs.gnu.org. An alternative (what I did) is to reply to the thread and to Bcc the bug-tracking control address, cont...@debbugs.gnu.org including these lines at the top of the message: tags 9321 + notabug close 9321 thanks