|
| From: | GNU bug tracker automated control server |
| Subject: | Processed: control message for bug #54609 |
| Date: | Tue, 29 Mar 2022 05:25:02 -0400 |
Processing commands for control@debbugs.gnu.org: > retitle 54609 'guix refresh openmpi' no longer works Bug #54609 [guix-patches] (no subject) Set bug title to ''guix refresh openmpi' no longer works'. > 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] |