|
From: | GNU bug Tracking System |
Subject: | bug#58553: closed ([PATCH] gnu: josm: Update to 18570.) |
Date: | Thu, 03 Nov 2022 14:14:02 +0000 |
Your message dated Thu, 3 Nov 2022 15:13:40 +0100 with message-id <20221103151340.6e6ab931@sybil.lepiller.eu> and subject line Re: [bug#58553] [PATCH 8/8] gnu: josm: Udpate to 18570. has caused the debbugs.gnu.org bug report #58553, regarding [PATCH] gnu: josm: Update to 18570. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 58553: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58553 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: [PATCH] gnu: josm: Update to 18570. Date: Sat, 15 Oct 2022 23:36:30 +0200 Hi Guix! This small series updates a few dependencies of JOSM and updates it to the latest version.
--- End Message ---
--- Begin Message ---Subject: Re: [bug#58553] [PATCH 8/8] gnu: josm: Udpate to 18570. Date: Thu, 3 Nov 2022 15:13:40 +0100 Pushed to master as b347ef494d726a009fbb4e11f1663c670131db61 to 973dc4564e874107ac56d39ece2a2224cf926fe6, although this time josm is updated to 18583 that was released in the meantime and jcs3 was fixed by adding a copy-resources phase.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |