|
From: | GNU bug tracker automated control server |
Subject: | Processed: control message for bug #71580 |
Date: | Sat, 15 Jun 2024 17:56:02 -0400 |
Processing commands for control@debbugs.gnu.org: > merge 71580 70202 bug#70202: [PATCH] doc: Add message for common error about make check-system bug#71580: [PATCH] doc: Add message for common error about make check-system Merged 70202 71580. > 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] |