Your message dated Thu, 22 Jun 2023 23:27:51 +0100
with message-id <928bac9d-fe27-1d78-6b0b-937b5583649e@draigBrady.com>
and subject line Re: bug#64233: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure
has caused the debbugs.gnu.org bug report #64233,
regarding patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure
to be marked as done.

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


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