bug#67026: closed ([PATCH] gnu: josm: Reduce closure size.)

[GNU bug Tracking System]

Your message dated Sat, 2 Dec 2023 19:10:00 +0100
with message-id <20231202191000.6b47a4bd@lepiller.eu>
and subject line Re: [bug#67026] [PATCH] gnu: josm: Reduce closure size.
has caused the debbugs.gnu.org bug report #67026,
regarding [PATCH] gnu: josm: Reduce closure size.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
67026: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67026
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: josm: Reduce closure size.
>
>
>
>
> Date: 
>
> Thu, 9 Nov 2023 19:57:55 +0100
>
>
>
>
> Hi Guix!
>
> This small patchset reduces josm's (the Java OSM editor) closure size
> from 1.781MB to 544MB (1.2GB reduction!).
>
> This is mostly due to no longer referencing two JDKs.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#67026] [PATCH] gnu: josm: Reduce closure size.
>
>
>
>
> Date: 
>
> Sat, 2 Dec 2023 19:10:00 +0100
>
>
>
>
> Le Sat, 02 Dec 2023 11:21:19 +0100,
> Ludovic Courtès <ludo@gnu.org> a écrit :
>
> > Hi Julien,
> > 
> > Julien Lepiller <julien@lepiller.eu> skribis:
> > 
> > > This small patchset reduces josm's (the Java OSM editor) closure
> > > size from 1.781MB to 544MB (1.2GB reduction!).  
> > 
> > Wo0t, well done!
> > 
> > > This is mostly due to no longer referencing two JDKs.  
> > 
> > Heh.
> > 
> > LGTM!
> > 
> > Ludo’.
>
> Thanks, pushed to master as 406e46a15965bcb9e68e7c0bf09f14b9c72c6498 -
> 06ebc45e15f2a1bd4526a5a716eed657c902a0c1
>
>
> --- End Message ---