[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66879: [PATCH v2 5/5] gnu: josm: Update to 18822.
|
From: |
Julien Lepiller |
|
Subject: |
bug#66879: [PATCH v2 5/5] gnu: josm: Update to 18822. |
|
Date: |
Thu, 9 Nov 2023 19:10:19 +0100 |
Le Thu, 2 Nov 2023 11:00:16 +0100,
Andreas Enge <andreas@enge.fr> 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.