Your message dated Sun, 4 Feb 2024 15:00:19 +0000 with message-id <4e371b3c-d71c-5aed-1b82-c890adf5658f@draigBrady.com> and subject line Re: bug#68871: Can't use od to print half-precision floats has caused the debbugs.gnu.org bug report #68871, regarding Can't use od to print half-precision floats to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 68871: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=68871 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems