[debbugs-tracker] bug#28707: closed ([PATCH] java packages)

[GNU bug Tracking System]

Your message dated Tue, 10 Oct 2017 22:08:03 +0200
with message-id <address@hidden>
and subject line Re: [bug#28707] [PATCH] java packages
has caused the debbugs.gnu.org bug report #28707,
regarding [PATCH] java packages
to be marked as done.

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


-- 
28707: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28707
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] java packages
>
>
>
>
> Date: 
>
> Wed, 4 Oct 2017 22:33:17 +0200
>
>
>
>
> Hi!
>
> Here are 23 new packages that get us a bit closer to maven.
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#28707] [PATCH] java packages Date: Tue, 10 Oct 2017 22:08:03 +0200

Le Mon, 9 Oct 2017 15:36:07 -0400,
Leo Famulari <address@hidden> a écrit :

> On Wed, Oct 04, 2017 at 10:33:17PM +0200, Julien Lepiller wrote:
> > Hi!
> > 
> > Here are 23 new packages that get us a bit closer to maven.  
> 
> They LGTM, thanks a lot!

Pushed as 77a4f1ae31fb47ec08290fce72756422bad1dd0c -
262a4d335ac1fc1aa83cd4c611ed6d086d0193c5.

Thanks for the review!

pgpUvjWsgxXo4.pgp
Description: Signature digitale OpenPGP

--- End Message ---