Your message dated Fri, 9 Jun 2023 13:07:30 +0200
with message-id <ZIMH8od9OFbMA4Ur@jurong>
and subject line Re: ping on a build fix for a build failure (main branch)
has caused the debbugs.gnu.org bug report #63952,
regarding [PATCH] gnu (hubbub): Fix build
to be marked as done.

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


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