bug#6972: bug in sorting floats

[Jim Meyering]

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.