Your message dated Wed, 13 Mar 2024 12:36:51 +0000
with message-id <40cecf61-b314-8648-ede4-a86ffdeda226@draigBrady.com>
and subject line Re: bug#69770: [PATCH] build: strengthen 16 bit float support checks
has caused the debbugs.gnu.org bug report #69770,
regarding [PATCH] build: strengthen 16 bit float support checks
to be marked as done.

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


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