Subject: bug#67995: closed (Re: [bug#67995] [PATCH 2/2] gnu. josm. Update to 18907.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 01 Jan 2024 09:48:02 +0000

Your bug report

#67995: [PATCH] gnu: josm: Update to 18907.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
67995: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67995
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#67995] [PATCH 2/2] gnu. josm. Update to 18907.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Cc: Andreas Enge <[email-masked]>, Efraim Flashner <[email-masked]>, Eric Bavier <[email-masked]>
Date: Mon, 1 Jan 2024 10:46:53 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pusehd to master as 8ba7a4a042cf04923ca1c686980efc170e9db086 and
9bfb7db8f66a62005bb76bef27273fc7101f9b52, thanks!

Subject: [PATCH] gnu: josm: Update to 18907.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Sat, 23 Dec 2023 19:33:15 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi, this short series updates josm to its latest version, adding a new
dependency.