Subject: Re: [bug#31774] [PATCH] Add maven
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Sat, 16 Jun 2018 13:21:45 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Le Sun, 10 Jun 2018 13:01:04 +0200,
Julien Lepiller <[email-masked]> a écrit :

> Finally, the last patch series for maven!

Pushed as 
c099f6a716c035253816344ad24e364d14dc8ba0 -
8c2c105c12e7cc21bc6f27592550bb7132884955