From debbugs-submit-bounces@debbugs.gnu.org Mon May 25 12:48:57 2020 Received: (at submit) by debbugs.gnu.org; 25 May 2020 16:48:57 +0000 Received: from localhost ([127.0.0.1]:42331 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jdGHZ-0000vk-7n for submit@debbugs.gnu.org; Mon, 25 May 2020 12:48:57 -0400 Received: from lists.gnu.org ([209.51.188.17]:46332) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jdGHX-0000vd-Gf for submit@debbugs.gnu.org; Mon, 25 May 2020 12:48:56 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36410) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jdGHX-0000Ta-9D for guix-patches@gnu.org; Mon, 25 May 2020 12:48:55 -0400 Received: from mail1.fsfe.org ([217.69.89.151]:56054) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jdGHW-0002Ji-2h for guix-patches@gnu.org; Mon, 25 May 2020 12:48:54 -0400 From: Jelle Licht To: guix-patches@gnu.org Subject: [PATCH] services: php-fpm: Add 'php-ini-file' configuration. Date: Mon, 25 May 2020 18:48:45 +0200 Message-Id: <20200525164845.9012-1-jlicht@fsfe.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=217.69.89.151; envelope-from=jlicht@fsfe.org; helo=mail1.fsfe.org X-detected-operating-system: by eggs.gnu.org: First seen = 2020/05/25 12:48:49 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_PASS=-0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) * gnu/services/web.scm: ()[php-ini-file]: New record field. (php-fpm-shepherd-service): Use it. * doc/guix.texi (Web Services): Document it. --- doc/guix.texi | 4 ++++ gnu/services/web.scm | 10 ++++++++-- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index 3d1b097447..82ea7ae852 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -21370,6 +21370,10 @@ Can be set to @code{#f} to disable logging. @item @code{file} (default @code{#f}) An optional override of the whole configuration. You can use the @code{mixed-text-file} function or an absolute filepath for it. +@item @code{php-ini-file} (default @code{#f}) +An optional override of the default php settings. +It may be any ``file-like'' object (@pxref{G-Expressions, file-like objects}). +You can use the @code{mixed-text-file} function or an absolute filepath for it. @end table @end deftp diff --git a/gnu/services/web.scm b/gnu/services/web.scm index 9fcfe8a0dc..7cc53ef12f 100644 --- a/gnu/services/web.scm +++ b/gnu/services/web.scm @@ -159,6 +159,7 @@ php-fpm-configuration-timezone php-fpm-configuration-workers-log-file php-fpm-configuration-file + php-fpm-configuration-php-ini-file php-fpm-dynamic-process-manager-configuration @@ -857,6 +858,8 @@ of index files." (version-major (package-version php)) "-fpm.www.log"))) (file php-fpm-configuration-file ;#f | file-like + (default #f)) + (php-ini-file php-fpm-configuration-php-ini-file ;#f | file-like (default #f))) (define-record-type* @@ -963,7 +966,7 @@ of index files." (match-lambda (($ php socket user group socket-user socket-group pid-file log-file pm display-errors - timezone workers-log-file file) + timezone workers-log-file file php-ini-file) (list (shepherd-service (provision '(php-fpm)) (documentation "Run the php-fpm daemon.") @@ -974,7 +977,10 @@ of index files." #$(or file (default-php-fpm-config socket user group socket-user socket-group pid-file log-file - pm display-errors timezone workers-log-file))) + pm display-errors timezone workers-log-file)) + #$@(if php-ini-file + `("-c" ,php-ini-file) + '())) #:pid-file #$pid-file)) (stop #~(make-kill-destructor))))))) -- 2.26.2 From debbugs-submit-bounces@debbugs.gnu.org Mon May 25 13:11:52 2020 Received: (at submit) by debbugs.gnu.org; 25 May 2020 17:11:52 +0000 Received: from localhost ([127.0.0.1]:42398 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jdGdk-0003f1-JI for submit@debbugs.gnu.org; Mon, 25 May 2020 13:11:52 -0400 Received: from lists.gnu.org ([209.51.188.17]:35706) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jdGdj-0003es-8r for submit@debbugs.gnu.org; Mon, 25 May 2020 13:11:51 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38660) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jdGdj-0003EF-4A for guix-patches@gnu.org; Mon, 25 May 2020 13:11:51 -0400 Received: from mout.web.de ([217.72.192.78]:46903) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jdGdi-0006E0-2X for guix-patches@gnu.org; Mon, 25 May 2020 13:11:50 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1590426707; bh=aGC0FZL7X1hXiUah+zF1hqpmEf+8S9B64nJiyDbG05g=; h=X-UI-Sender-Class:Subject:To:References:From:Date:In-Reply-To; b=fBTVX2yD8Pdtv+SqQsEAbpvjavBqsRm24xCWls8qFqDk4kwvy+fiWiWJPJTHetq2x kEcPeF4L1wmMSayE7I+SfS+NW3xbYFvg4wQ1Ht33KvsBX8BOjvLZ0Eo7PestAdpiRT rlOFnfhwoklw6h0KMQf6D9+fRugPDEMgf/3s3Q54= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.178.131] ([88.152.185.133]) by smtp.web.de (mrweb103 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LmuAa-1j7Cbm47dk-00h6HJ for ; Mon, 25 May 2020 19:11:47 +0200 Subject: Re: [bug#41529] [PATCH] services: php-fpm: Add 'php-ini-file' configuration. To: guix-patches@gnu.org References: <20200525164845.9012-1-jlicht@fsfe.org> From: Jonathan Brielmaier Message-ID: Date: Mon, 25 May 2020 19:11:46 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Icedove/68.8.0 MIME-Version: 1.0 In-Reply-To: <20200525164845.9012-1-jlicht@fsfe.org> Content-Type: text/plain; charset=utf-8 Content-Language: fr Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:4YRLPxMimbii9w3Ht2LbIF9aJr2IEfkpjceHabpJUZoqQr7kI8V D5uKEsOb86x2Ax35OxlgJ5Fb7W/jNgDq4TKwqeNECn2KzYWSq3LJvuh97y4TAq3f5Wv6HSV VZIaCn3IljhaT2CJp8rGUf7Hq/+QoagEHSdasQX3mVIOE19VMggT1RGozpsKbIb9WV0GAWR 0qWkPa5297a9Z47D0l53A== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:qPxMxvJBG8g=:VBUsG+OLIxexKCN62/xkNc AfJOw8Rehh9iQmfFJdt4KMUWa+dFyhJerozVkhOttPdmzfzDNaHpDfOI80YspC68qp+dSAU37 LP+lhOujX6DQ1gsOIUSXXvyzJneCcmWUaUc+qhx7JGtgMYDoK3NGVvfsToxfqRxMygftgY/L/ mkZzETC3W0nGiaefHeypDP4EZNlfvIccEJgKaHGvgwuNES6CoAZeEBzo0e/tOcBQDbhv4SE4t YvrJMMXZbmbHCsT57E0DsaIIY4b9LxdiNGiHt8Hvf55GAKDkIVH3icMPPGluSaRc0hshE2Omd /vIoJDB8vOiGT9eae8goq2e+E1Om/miE8F/XUEQ52JbSi/9NfJ78NauNg8fnX+G7EljIJu5Dp mDpjEN8gSkpokZVIqYsUgYJ3ahyeuZi2nsQ/kczNDFOjAjohmDbMTtDTv7uPr5ooF6YX+B2ve umRnXa2Ij3PdS6QmshKg7oYPQB1vQ2G/R+uX48692KZbRivBrUfk2C3Icea3s45IzMpX2Yjpr dpDkEk4n5D7pIPxE9BFeBcCVNdJC8rTIaBf6z+S1dzMZYufwXI04Vhk4kEleMyHQ+2XT0mSTH 27yv2Ktw/sX138bUP8eRN3FOGsY2+IEfhBtCXRnHgfNxYHUtYZLE8YamR7GyDjmToGSDRWvW0 siQ8eGmCiRU6bYoNQbYhnmGlOW3MTj0aZm6s5QFz1ESNSEStEvgfXBq4CkNnVEMTzEZbUC+Pe jPt9eVkbF0TaQedW3ifeOO4Hg/ubQbmOsBMUb1knRps4SRkZFtL8tcFVZkGFzKjxZLtFRb8mK ZZiXE6MzZ1KgOFBQ293MUzGD0UVD7COYxzvrTE3jd3f62zmzPDqAiJXBlvVNJGlzLgPNvXPNP WnlW5EdE/LUFIcDq7a+JbmwJbyRfWl9AoeYT0175Zk4OjmWS2j7OmXmQMfpvW0fO21Ff81ZXk 3V8jM7Y6lzvVqfqfG3NfNjI1Cj+vWl4tkDcdX35MbVaKYASdjMrgIQVJh1Aqt+JwLJcxQMuZA Rnw1R4/xe6rVWxCV4pryjNOHJOvveSYQ6kPy4bvNracLaoSusrPT3+9jqdPodvKyGkjP9fb/W nttmU7R8o7NMN3n+IQkiwIsYyvDqgjun/L5d/rptlE28k8pMqv5jJhoA7dLMzIS+U7ng3KQjw SNFwvwkBnf2LYscvjGOSD78dH6de9+049pI3oEUanuoEhotUbqmRdPRRrktWZHgJYjKVPgbuS UUiEoGmUOi1J0Kijhq+hBze0GkiMaexA4ZwtHhw== Received-SPF: pass client-ip=217.72.192.78; envelope-from=jonathan.brielmaier@web.de; helo=mout.web.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/05/25 11:44:31 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) Nice Jelle! On 25.05.20 18:48, Jelle Licht wrote: > * gnu/services/web.scm: ()[php-ini-file]: New rec= ord field. > (php-fpm-shepherd-service): Use it. > * doc/guix.texi (Web Services): Document it. > --- > doc/guix.texi | 4 ++++ > gnu/services/web.scm | 10 ++++++++-- > 2 files changed, 12 insertions(+), 2 deletions(-) > > diff --git a/doc/guix.texi b/doc/guix.texi > index 3d1b097447..82ea7ae852 100644 > --- a/doc/guix.texi > +++ b/doc/guix.texi > @@ -21370,6 +21370,10 @@ Can be set to @code{#f} to disable logging. > @item @code{file} (default @code{#f}) > An optional override of the whole configuration. > You can use the @code{mixed-text-file} function or an absolute filepath= for it. > +@item @code{php-ini-file} (default @code{#f}) > +An optional override of the default php settings. > +It may be any ``file-like'' object (@pxref{G-Expressions, file-like obj= ects}). > +You can use the @code{mixed-text-file} function or an absolute filepath= for it. > @end table > @end deftp Could you add a small simple example here. I would relaly appreciate it! From debbugs-submit-bounces@debbugs.gnu.org Mon May 25 14:58:54 2020 Received: (at 41529) by debbugs.gnu.org; 25 May 2020 18:58:54 +0000 Received: from localhost ([127.0.0.1]:42539 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jdIJJ-0006ID-KC for submit@debbugs.gnu.org; Mon, 25 May 2020 14:58:54 -0400 Received: from mail1.fsfe.org ([217.69.89.151]:42332) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jdIJI-0006I7-KL for 41529@debbugs.gnu.org; Mon, 25 May 2020 14:58:53 -0400 From: Jelle Licht To: 41529@debbugs.gnu.org Subject: [PATCH v2] services: php-fpm: Add 'php-ini-file' configuration. Date: Mon, 25 May 2020 20:58:46 +0200 Message-Id: <20200525185846.19200-1-jlicht@fsfe.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 41529 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/services/web.scm: ()[php-ini-file]: New record field. (php-fpm-shepherd-service): Use it. * doc/guix.texi (Web Services): Document it. --- doc/guix.texi | 25 +++++++++++++++++++++++++ gnu/services/web.scm | 10 ++++++++-- 2 files changed, 33 insertions(+), 2 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index 3d1b097447..3364b05873 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -21370,6 +21370,31 @@ Can be set to @code{#f} to disable logging. @item @code{file} (default @code{#f}) An optional override of the whole configuration. You can use the @code{mixed-text-file} function or an absolute filepath for it. +@item @code{php-ini-file} (default @code{#f}) +An optional override of the default php settings. +It may be any ``file-like'' object (@pxref{G-Expressions, file-like objects}). +You can use the @code{mixed-text-file} function or an absolute filepath for it. + +For local development it is useful to set a higher timeout and memory +limit for spawned php processes. This be accomplished with the +following operating system configuration snippet: +@lisp +(define %local-php-ini + (plain-file "php.ini" + "memory_limit = 2G +max_execution_time = 1800")) + +(operating-system + ;; @dots{} + (services (cons (service php-fpm-service-type + (php-fpm-configuration + (php-ini-file %local-php-ini))) + %base-services))) +@end lisp + +Consult the @url{https://www.php.net/manual/en/ini.core.php,core php.ini +directives} for comprehensive documentation on the acceptable +@file{php.ini} directives. @end table @end deftp diff --git a/gnu/services/web.scm b/gnu/services/web.scm index 9fcfe8a0dc..7cc53ef12f 100644 --- a/gnu/services/web.scm +++ b/gnu/services/web.scm @@ -159,6 +159,7 @@ php-fpm-configuration-timezone php-fpm-configuration-workers-log-file php-fpm-configuration-file + php-fpm-configuration-php-ini-file php-fpm-dynamic-process-manager-configuration @@ -857,6 +858,8 @@ of index files." (version-major (package-version php)) "-fpm.www.log"))) (file php-fpm-configuration-file ;#f | file-like + (default #f)) + (php-ini-file php-fpm-configuration-php-ini-file ;#f | file-like (default #f))) (define-record-type* @@ -963,7 +966,7 @@ of index files." (match-lambda (($ php socket user group socket-user socket-group pid-file log-file pm display-errors - timezone workers-log-file file) + timezone workers-log-file file php-ini-file) (list (shepherd-service (provision '(php-fpm)) (documentation "Run the php-fpm daemon.") @@ -974,7 +977,10 @@ of index files." #$(or file (default-php-fpm-config socket user group socket-user socket-group pid-file log-file - pm display-errors timezone workers-log-file))) + pm display-errors timezone workers-log-file)) + #$@(if php-ini-file + `("-c" ,php-ini-file) + '())) #:pid-file #$pid-file)) (stop #~(make-kill-destructor))))))) -- 2.26.2 From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 09 17:03:07 2020 Received: (at 41529) by debbugs.gnu.org; 9 Sep 2020 21:03:07 +0000 Received: from localhost ([127.0.0.1]:34929 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kG7FC-0008Lg-RG for submit@debbugs.gnu.org; Wed, 09 Sep 2020 17:03:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:50752) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kG7FB-0008Kj-I6 for 41529@debbugs.gnu.org; Wed, 09 Sep 2020 17:03:05 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:43896) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kG7F5-0000Ob-Iw; Wed, 09 Sep 2020 17:02:59 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=55704 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kG7F5-0005Ko-3J; Wed, 09 Sep 2020 17:02:59 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Jelle Licht Subject: Re: [bug#41529] [PATCH v2] services: php-fpm: Add 'php-ini-file' configuration. References: <20200525164845.9012-1-jlicht@fsfe.org> <20200525185846.19200-1-jlicht@fsfe.org> Date: Wed, 09 Sep 2020 23:02:53 +0200 In-Reply-To: <20200525185846.19200-1-jlicht@fsfe.org> (Jelle Licht's message of "Mon, 25 May 2020 20:58:46 +0200") Message-ID: <87k0x2ll36.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 41529 Cc: 41529@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi Jelle, Jelle Licht skribis: > * gnu/services/web.scm: ()[php-ini-file]: New reco= rd field. > (php-fpm-shepherd-service): Use it. > * doc/guix.texi (Web Services): Document it. It=E2=80=99s been a long time already and I think you can go ahead and push= it. Thank you! Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 10 03:49:30 2020 Received: (at 41529-done) by debbugs.gnu.org; 10 Sep 2020 07:49:30 +0000 Received: from localhost ([127.0.0.1]:35872 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kGHKk-0003lI-Gs for submit@debbugs.gnu.org; Thu, 10 Sep 2020 03:49:30 -0400 Received: from mail1.fsfe.org ([217.69.89.151]:48428) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kGHKg-0003l7-Sq for 41529-done@debbugs.gnu.org; Thu, 10 Sep 2020 03:49:29 -0400 From: Jelle Licht To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#41529] [PATCH v2] services: php-fpm: Add 'php-ini-file' configuration. In-Reply-To: <87k0x2ll36.fsf@gnu.org> References: <20200525164845.9012-1-jlicht@fsfe.org> <20200525185846.19200-1-jlicht@fsfe.org> <87k0x2ll36.fsf@gnu.org> Date: Thu, 10 Sep 2020 09:49:23 +0200 Message-ID: <87sgbqrrzw.fsf@jlicht.xyz> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 41529-done Cc: 41529-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Ludovic Court=C3=A8s writes: > > Jelle Licht skribis: > >> * gnu/services/web.scm: ()[php-ini-file]: New rec= ord field. >> (php-fpm-shepherd-service): Use it. >> * doc/guix.texi (Web Services): Document it. > > It=E2=80=99s been a long time already and I think you can go ahead and pu= sh it. pushed as bba0533115df9a31b696ee3782c8054174b955b1 to master. From unknown Sun Aug 17 01:42:47 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 08 Oct 2020 11:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator