Your message dated Tue, 7 Feb 2017 12:45:45 +0100
with message-id <98A6DAF2-F4BE-4B80-97CB-C1A4883E2481@bluewin.ch>
and subject line Re: bug#25492: closing
has caused the debbugs.gnu.org bug report #25492,
regarding floating point bug in 2.1.6
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
25492: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25492
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems