Your message dated Thu, 16 Mar 2023 10:10:42 +0100
with message-id <20230316101042.48c0bc55@tangletp>
and subject line Re: [bug#62171] [PATCH 0/2] Fix source build of OpenJDK 9 and 10
has caused the debbugs.gnu.org bug report #62171,
regarding [PATCH 0/2] Fix source build of OpenJDK 9 and 10
to be marked as done.

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


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