Your message dated Sat, 24 Jun 2023 18:08:38 -0700
with message-id <CA+8g5KHeA6QiLouRTa_n7h3B+b5Y6_3YDOhQjHOh5iQ0rLBBYw@mail.gmail.com>
and subject line Re: [bug-diffutils] bug#64234: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure
has caused the debbugs.gnu.org bug report #64234,
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.)


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