Your message dated Thu, 21 Sep 2017 10:36:12 -0500 with message-id and subject line Re: bug#28539: different outputs of sort has caused the debbugs.gnu.org bug report #28539, regarding different outputs of sort to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 28539: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28539 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems