|
From: | GNU bug Tracking System |
Subject: | bug#67581: closed ([PATCH] gnu: wxmaxima: Update to 23.11.0) |
Date: | Tue, 05 Dec 2023 09:25:02 +0000 |
Your message dated Tue, 05 Dec 2023 09:23:39 +0000 with message-id <87sf4h3suf.fsf@kitej> and subject line Re: [bug#67581] [PATCH] gnu: wxmaxima: Update to 23.11.0 has caused the debbugs.gnu.org bug report #67581, regarding [PATCH] gnu: wxmaxima: Update to 23.11.0 to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 67581: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67581 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: [PATCH] gnu: wxmaxima: Update to 23.11.0 Date: Fri, 1 Dec 2023 22:58:59 -0800 0001-gnu-wxmaxima-Update-to-23.11.0.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: [bug#67581] [PATCH] gnu: wxmaxima: Update to 23.11.0 Date: Tue, 05 Dec 2023 09:23:39 +0000 Patch applied as 310f7966e78569653ad47b2e550e65e74719ca73. Thanks.signature.asc
Description: PGP signature
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |