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

[GNU bug Tracking System]

Your message dated Sun, 27 May 2018 19:07:55 +0200
with message-id <address@hidden>
and subject line Re: [bug#31604] [PATCH] Some java packages
has caused the debbugs.gnu.org bug report #31604,
regarding [PATCH] Some java packages
to be marked as done.

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


-- 
31604: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31604
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Some java packages
>
>
>
>
> Date: 
>
> Sat, 26 May 2018 14:43:38 +0200
>
>
>
>
> Hi,
>
> here are 8 new java packages that belong to maven's dependency graph.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31604] [PATCH] Some java packages
>
>
>
>
> Date: 
>
> Sun, 27 May 2018 19:07:55 +0200
>
>
>
>
> Pushed as 
> a1a5ef2094a99bf97dd3e260c6b74bee4d4c861e to
> 3a69f5f2d348be38026c56ce3e9f04302e6d198e.
>
>
> --- End Message ---