|
| From: | GNU bug tracker automated control server |
| Subject: | Processed: Re: bug#44995: User options are not passed to the offload machine |
| Date: | Fri, 25 Jun 2021 21:51:02 -0400 |
Processing commands for control@debbugs.gnu.org: > severity 44995 important Bug #44995 [guix] User options are not passed to the offload machine Severity set to 'important' from 'normal' > 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] |