Your message dated Mon, 19 Aug 2024 12:37:27 +0200
with message-id <871q2kx0go.fsf@gnu.org>
and subject line Re: [bug#72071] [PATCH 0/2] A clean series of patches
has caused the debbugs.gnu.org bug report #72071,
regarding [PATCH 0/2] Fix hdf5-parallel-openmpi
to be marked as done.

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


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