|
From: | GNU bug tracker automated control server |
Subject: | Processed: control message for bug #42031 |
Date: | Thu, 25 Jun 2020 06:13:02 -0400 |
Processing commands for control@debbugs.gnu.org: > merge 42031 42033 bug#42031: [PATCH] gnu: Add autofs. bug#42033: [PATCH] gnu: Add autofs. Merged 42031 42033. > quit Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, http://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |