[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#72822: [PATCH 2/2] gnu: josm: Update to 19160.
|
From: |
Julien Lepiller |
|
Subject: |
bug#72822: [PATCH 2/2] gnu: josm: Update to 19160. |
|
Date: |
Sat, 14 Sep 2024 18:53:18 +0200 |
Le Fri, 13 Sep 2024 12:42:54 +0200,
Andreas Enge <andreas@enge.fr> a écrit :
> Hello Julien,
>
> the patches look good to me. Given the delay in QA, I think you can
> push them.
>
> Andreas
>
Pushed to master as 5fb9e04b6de24d5ff6478c9e4abe88a3a21fc43a and
e48426b45421eb8199a0dadbcd0eef3f14511e27, thanks!