Your message dated Fri, 12 Apr 2024 14:37:21 -0400
with message-id <87bk6epgv2.fsf@gmail.com>
and subject line Re: [bug#70343] [PATCH] gnu: linux-libre-documentation: Fix the build for linux-libre 6.8.4.
has caused the debbugs.gnu.org bug report #70343,
regarding [PATCH] gnu: linux-libre-documentation: Fix the build for linux-libre 6.8.4.
to be marked as done.

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


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