|
From: | GNU bug tracker automated control server |
Subject: | Processed: control message for bug #65563 |
Date: | Sat, 09 Sep 2023 12:47:02 -0400 |
Processing commands for control@debbugs.gnu.org: > merge 65563 65588 bug#65563: [PATCH] gnu: vcmi: Update to 1.3.1. bug#65588: Update vcmi game to 1.3.1. Merged 65563 65588. > quit Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, https://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |