|
From: | GNU bug tracker automated control server |
Subject: | Processed: Re: [PATCH] gnu: add instead |
Date: | Mon, 05 Apr 2021 12:43:02 -0400 |
Processing commands for control@debbugs.gnu.org: > merge 46378 47508 bug#46378: [PATCH] gnu: Add instead. bug#47508: [PATCH] gnu: add instead Merged 46378 47508. > thanks 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] |