Subject: Re: [bug#48766] [PATCH] gnu: java-jmh: Switch to maven-build-system.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Tue, 22 Jun 2021 13:13:31 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

After almost a month of silence, pushed to master as
4c98db94b0271aa5371ff00cf98c0ebc70ab1a8d to
1b1eeb3b123162c4d73c939e9ca7bbbb4f79aef1. Thanks!