Subject: Re: [bug#28663] [PATCH] New java packages
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Tue, 3 Oct 2017 21:48:51 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as
8df1faa047870c51954275664e8e7efc94e6fc56
- 500aac750ee133a774d39b463eabe51758c048d8.

Thank you for your review, I will send another 20 or so patches very
soon (200 left before maven).