[debbugs-tracker] bug#31774: closed ([PATCH] Add maven)

[GNU bug Tracking System]

Your message dated Sat, 16 Jun 2018 13:21:45 +0200
with message-id <address@hidden>
and subject line Re: [bug#31774] [PATCH] Add maven
has caused the debbugs.gnu.org bug report #31774,
regarding [PATCH] Add maven
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31774: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31774
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Add maven
>
>
>
>
> Date: 
>
> Sun, 10 Jun 2018 13:01:04 +0200
>
>
>
>
> Finally, the last patch series for maven!
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31774] [PATCH] Add maven
>
>
>
>
> Date: 
>
> Sat, 16 Jun 2018 13:21:45 +0200
>
>
>
>
> Le Sun, 10 Jun 2018 13:01:04 +0200,
> Julien Lepiller <address@hidden> a écrit :
>
> > Finally, the last patch series for maven!
>
> Pushed as 
> c099f6a716c035253816344ad24e364d14dc8ba0 -
> 8c2c105c12e7cc21bc6f27592550bb7132884955
>
>
> --- End Message ---