|
From: | GNU bug Tracking System |
Subject: | bug#67995: closed ([PATCH] gnu: josm: Update to 18907.) |
Date: | Mon, 01 Jan 2024 09:48:01 +0000 |
Your message dated Mon, 1 Jan 2024 10:46:53 +0100 with message-id <20240101104653.4af770a6@tachikoma.lepiller.eu> and subject line Re: [bug#67995] [PATCH 2/2] gnu. josm. Update to 18907. has caused the debbugs.gnu.org bug report #67995, regarding [PATCH] gnu: josm: Update to 18907. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 67995: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67995 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: [PATCH] gnu: josm: Update to 18907. Date: Sat, 23 Dec 2023 19:33:15 +0100 Hi, this short series updates josm to its latest version, adding a new dependency.
--- End Message ---
--- Begin Message ---Subject: Re: [bug#67995] [PATCH 2/2] gnu. josm. Update to 18907. Date: Mon, 1 Jan 2024 10:46:53 +0100 Pusehd to master as 8ba7a4a042cf04923ca1c686980efc170e9db086 and 9bfb7db8f66a62005bb76bef27273fc7101f9b52, thanks!
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |