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

[GNU bug Tracking System]

Your message dated Mon, 23 Oct 2017 22:58:44 +0200
with message-id <address@hidden>
and subject line Re: [bug#28841] [PATCH] New java packages
has caused the debbugs.gnu.org bug report #28841,
regarding [PATCH] New java packages
to be marked as done.

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


-- 
28841: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28841
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] New java packages
>
>
>
>
> Date: 
>
> Sat, 14 Oct 2017 23:32:16 +0200
>
>
>
>
> Hi,
>
> this patch series adds 23 new java packages that are required before we
> can build maven.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#28841] [PATCH] New java packages
>
>
>
>
> Date: 
>
> Mon, 23 Oct 2017 22:58:44 +0200
>
>
>
>
> Le Sat, 14 Oct 2017 23:32:16 +0200,
> Julien Lepiller <address@hidden> a écrit :
>
> > Hi,
> > 
> > this patch series adds 23 new java packages that are required before
> > we can build maven.
> > 
> > 
> > 
>
> Pushed as 90a127c7ed63c22485f0751f3c24a9072a05c8b8 -
> 6768e0a7a5f7171bf21db61e02c9de4d5776c682.
>
>
> --- End Message ---