Subject: bug#6972: bug in sorting floats

From: Jim Meyering <[email-masked]>
Date: Sun, 07 Aug 2011 18:25:24 +0200

tags 6972 + notabug
close 6972
thanks

Eric Blake wrote:
> [forwarding on your mail to the list, to close this out]
...
>
> Glad to know it's not a bug.

Thanks.  Marking as "notabug" and closing.