Subject: Re: [bug#66879] [PATCH v2 5/5] gnu: josm: Update to 18822.
From: Julien Lepiller <[email-masked]>
To: Andreas Enge <[email-masked]>
Cc: [email-masked], Efraim Flashner <[email-masked]>, Eric Bavier <[email-masked]>
Date: Thu, 9 Nov 2023 19:10:19 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Le Thu, 2 Nov 2023 11:00:16 +0100,
Andreas Enge <[email-masked]> a écrit :

> Am Thu, Nov 02, 2023 at 07:50:13AM +0100 schrieb Julien Lepiller:
> > * gnu/packages/geo.scm (josm): Update to 18822.
> > [inputs]: Use new json implementation.
> > [arguments]: Use openjdk11 to prevent warning at startup.  
> 
> Looks good!
> 
> Andreas
> 

Pushed to master as 5392d9db46d6f931233be2f25688481181622bb4 to
71d54f3ac451527d3c741bc1209f6b03329f8571.