Your message dated Tue, 22 Jun 2021 13:13:31 +0200
with message-id <20210622131331.3936334a@tachikoma.lepiller.eu>
and subject line Re: [bug#48766] [PATCH] gnu: java-jmh: Switch to maven-build-system.
has caused the debbugs.gnu.org bug report #48766,
regarding [PATCH] gnu: java-jmh: Switch to maven-build-system.
to be marked as done.

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


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