From unknown Fri Jun 20 07:28:28 2025 X-Loop: help-debbugs@gnu.org Subject: bug#37804: getmail service documentation error? Resent-From: "pelzflorian (Florian Pelz)" Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 18 Oct 2019 07:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 37804 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 37804@debbugs.gnu.org Cc: Christopher Baines X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.157138233932416 (code B ref -1); Fri, 18 Oct 2019 07:06:02 +0000 Received: (at submit) by debbugs.gnu.org; 18 Oct 2019 07:05:39 +0000 Received: from localhost ([127.0.0.1]:49202 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLMKQ-0008Ql-PZ for submit@debbugs.gnu.org; Fri, 18 Oct 2019 03:05:39 -0400 Received: from lists.gnu.org ([209.51.188.17]:42765) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLMKO-0008Qd-JD for submit@debbugs.gnu.org; Fri, 18 Oct 2019 03:05:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55516) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iLMKM-00018D-WF for bug-guix@gnu.org; Fri, 18 Oct 2019 03:05:36 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iLMKL-0001HF-Mf for bug-guix@gnu.org; Fri, 18 Oct 2019 03:05:34 -0400 Received: from pelzflorian.de ([5.45.111.108]:51754 helo=mail.pelzflorian.de) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iLMKL-0001ER-6P for bug-guix@gnu.org; Fri, 18 Oct 2019 03:05:33 -0400 Received: from pelzflorian.localdomain (unknown [5.45.111.108]) by mail.pelzflorian.de (Postfix) with ESMTPSA id 4DC153604C5; Fri, 18 Oct 2019 09:05:30 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=pelzflorian.de; s=mail; t=1571382330; bh=50Ic/8WcyQojuiuX6ut1L+61sulwF/m64i5rpa1TbNc=; h=Date:From:To:Cc:Subject; b=YYdV+sp02GVvRx4BqXdMzbyNsNVTgpd2D8rkJDsuJtOCz52lbV883KGPTrFdOqF++ b1df7oFFUVk0LaXZSTBSO1qFcoDzliopM5fcijEKsDmx4tE0PGU194dpGaXfymLOZd 5Vex8X3645zgE49zhEtbVhpHWYYoemj9dV5QSN28= Date: Fri, 18 Oct 2019 09:05:29 +0200 From: "pelzflorian (Florian Pelz)" Message-ID: <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="6bh443ba25sq3evh" Content-Disposition: inline User-Agent: NeoMutt/20180716 Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 5.45.111.108 X-Spam-Score: -1.4 (-) 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 (--) --6bh443ba25sq3evh Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable The documentation of the getmail service=E2=80=99s delete_after setting i= s confusing and appears to contradict upstream documentation at . I am not sure, but the code in the getmail file in the getmail source code also appears to call destination.deliver_message before deleting, in agreement with upstream. Can someone with knowledge check? Shall I push the attached patch? Regards, Florian --6bh443ba25sq3evh Content-Type: text/plain; charset=us-ascii Content-Disposition: attachment; filename="0001-Fix-documentation-of-delete_after-in-the-getmail-ser.patch" >From 971fee0af8908acdc73498917a8a55811122ac8e Mon Sep 17 00:00:00 2001 From: Florian Pelz Date: Fri, 18 Oct 2019 08:52:12 +0200 Subject: [PATCH] Fix documentation of delete_after in the getmail service. * doc/guix.texi (Getmail service): Remove the word `not'. * gnu/services/getmail.scm (getmail-options-configuration): Ditto. --- doc/guix.texi | 2 +- gnu/services/getmail.scm | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index a38eb2aa7c..32d2ffe044 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -17435,7 +17435,7 @@ Defaults to @samp{#f}. @deftypevr {@code{getmail-options-configuration} parameter} non-negative-integer delete-after Getmail will delete messages this number of days after seeing them, if -they have not been delivered. This means messages will be left on the +they have been delivered. This means messages will be left on the server this number of days after delivering them. A value of @samp{0} disabled this feature. diff --git a/gnu/services/getmail.scm b/gnu/services/getmail.scm index b807bb3a5d..b3d86cb65c 100644 --- a/gnu/services/getmail.scm +++ b/gnu/services/getmail.scm @@ -176,8 +176,8 @@ server.") (delete-after (non-negative-integer 0) "Getmail will delete messages this number of days after seeing them, if -they have not been delivered. This means messages will be left on the server -this number of days after delivering them. A value of @samp{0} disabled this +they have been delivered. This means messages will be left on the server this +number of days after delivering them. A value of @samp{0} disabled this feature.") (delete-bigger-than (non-negative-integer 0) -- 2.23.0 --6bh443ba25sq3evh-- From unknown Fri Jun 20 07:28:28 2025 X-Loop: help-debbugs@gnu.org Subject: bug#37804: getmail service documentation error? Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 18 Oct 2019 07:48:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 37804 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: "pelzflorian \(Florian Pelz\)" Cc: 37804@debbugs.gnu.org X-Debbugs-Original-Cc: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15713848454032 (code B ref -1); Fri, 18 Oct 2019 07:48:01 +0000 Received: (at submit) by debbugs.gnu.org; 18 Oct 2019 07:47:25 +0000 Received: from localhost ([127.0.0.1]:49217 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLMyo-00012w-Km for submit@debbugs.gnu.org; Fri, 18 Oct 2019 03:47:25 -0400 Received: from lists.gnu.org ([209.51.188.17]:45848) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLMym-00012n-Jb for submit@debbugs.gnu.org; Fri, 18 Oct 2019 03:47:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59874) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iLMyk-0003sQ-TV for bug-guix@gnu.org; Fri, 18 Oct 2019 03:47:19 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iLMyj-0000Iw-Dx for bug-guix@gnu.org; Fri, 18 Oct 2019 03:47:18 -0400 Received: from mira.cbaines.net ([212.71.252.8]:50586) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iLMyi-0000IK-26 for bug-guix@gnu.org; Fri, 18 Oct 2019 03:47:17 -0400 Received: from localhost (cpc102582-walt20-2-0-cust14.13-2.cable.virginm.net [86.27.34.15]) by mira.cbaines.net (Postfix) with ESMTPSA id 76F5C17584; Fri, 18 Oct 2019 08:47:14 +0100 (BST) Received: from capella (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 3a7b1f69; Fri, 18 Oct 2019 07:47:13 +0000 (UTC) References: <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> User-agent: mu4e 1.2.0; emacs 26.3 From: Christopher Baines In-reply-to: <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> Date: Fri, 18 Oct 2019 08:47:11 +0100 Message-ID: <87r23aqyv4.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 212.71.252.8 X-Spam-Score: -1.3 (-) 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 (--) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable pelzflorian (Florian Pelz) writes: > The documentation of the getmail service=E2=80=99s delete_after setting is > confusing and appears to contradict upstream documentation at > . > > I am not sure, but the code in the getmail file in the getmail source > code also appears to call destination.deliver_message before deleting, > in agreement with upstream. > > Can someone with knowledge check? Shall I push the attached patch? The change and patch looks reasonable to me. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKTBAEBCgB9FiEEPonu50WOcg2XVOCyXiijOwuE9XcFAl2pbf9fFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcACgkQXiijOwuE 9XfEUhAAs9HRl7u3XdNUiSuE8MfaegpOF60ULBiuFSbkIWkg4pY12SO5nQY33cd1 UbYmpFWj4wj4rc3hnaY/oIhTySj/gW65tYDZ/GgUzGd1hJc2+oaybh4gSVAGZNLa FvLuDaKN/0dMEzXppBYt642iskS6DIVwFW6VjicjSAhbdQ5whSCJZtRSV9sihPqt QreRQnR7mBtOHwNUCw74DEyo8JCk5DMoSVkmzcy+JOKvYj1E6ru8fj5+P2Oy+J1r DT+jmVil8kpD9zzGETFd5SGTab+5XnqaLZQUncYSrvERT7vOB9N2ZjW+ElCQr9jL 9b+TBVCvtOlLRFeAi+fvehypYl48A1P8U6RJTklAJmoi4T2D5NEbOYzJvUUz4MMH bxN36yeAWo47dVm0GEXyRyPZsSzRuCPDxWP7jx8MArtSlt3RcJdMDsLSgWBEFIdi ZpIXCA4BTLRjL6CnlCcK/M9J5chRtqkWxOLywrdL4X2sitZ1lK6gkjxwDmlaM6mm BjYglEGhSGVTt6f+8k0olDFRlJ1ecOUe1sboouJItxB4f08guFrrqGq3alCRcJbR I6ctwZR1b9+mlkA0Qnb4Js165UrviqrlXelkViBZi7Z9rqSRT8GfA0YkDlUXh+b5 yd3vEKdMzp3etDiv+/XdA6NxkJ0k9K/q+2UaNL/JdVFDTBuQqIA= =e42t -----END PGP SIGNATURE----- --=-=-=-- From unknown Fri Jun 20 07:28:28 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: "pelzflorian (Florian Pelz)" Subject: bug#37804: closed (Re: getmail service documentation error?) Message-ID: References: <20191018080231.xqm73vngjpeprhca@pelzflorian.localdomain> <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> X-Gnu-PR-Message: they-closed 37804 X-Gnu-PR-Package: guix Reply-To: 37804@debbugs.gnu.org Date: Fri, 18 Oct 2019 08:03:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1571385782-5759-1" This is a multi-part message in MIME format... ------------=_1571385782-5759-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #37804: getmail service documentation error? which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 37804@debbugs.gnu.org. --=20 37804: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D37804 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1571385782-5759-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 37804-done) by debbugs.gnu.org; 18 Oct 2019 08:02:37 +0000 Received: from localhost ([127.0.0.1]:49227 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLNDY-0001Ty-Mk for submit@debbugs.gnu.org; Fri, 18 Oct 2019 04:02:36 -0400 Received: from pelzflorian.de ([5.45.111.108]:41240 helo=mail.pelzflorian.de) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLNDV-0001Tl-82 for 37804-done@debbugs.gnu.org; Fri, 18 Oct 2019 04:02:35 -0400 Received: from pelzflorian.localdomain (unknown [5.45.111.108]) by mail.pelzflorian.de (Postfix) with ESMTPSA id 132AD3604C5; Fri, 18 Oct 2019 10:02:32 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=pelzflorian.de; s=mail; t=1571385752; bh=4trdgrF+ysEhiA/7gmm9uX8g1PjBApXJfJ6aqygYTiw=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=OH3VIUyOAY9pXH9YOF8jDpBQD/FUt8M2IgO0q08v1cZZgq7xXOC4Ni/ksG0Cuv/h7 eTZQ44GqF+MMs512iLa9K68xVh6CllyjaAEydW5MuoI242lG9kfJaHI+seKNDB1TTx k4O2K8usequJXQmt2sL8oik5Xf2KSYoWPrPRUtFk= Date: Fri, 18 Oct 2019 10:02:31 +0200 From: "pelzflorian (Florian Pelz)" To: Christopher Baines Subject: Re: getmail service documentation error? Message-ID: <20191018080231.xqm73vngjpeprhca@pelzflorian.localdomain> References: <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> <87r23aqyv4.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87r23aqyv4.fsf@cbaines.net> User-Agent: NeoMutt/20180716 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37804-done Cc: 37804-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: -1.0 (-) On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote: > The change and patch looks reasonable to me. Pushed. Thank you! ------------=_1571385782-5759-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 18 Oct 2019 07:05:39 +0000 Received: from localhost ([127.0.0.1]:49202 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLMKQ-0008Ql-PZ for submit@debbugs.gnu.org; Fri, 18 Oct 2019 03:05:39 -0400 Received: from lists.gnu.org ([209.51.188.17]:42765) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLMKO-0008Qd-JD for submit@debbugs.gnu.org; Fri, 18 Oct 2019 03:05:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55516) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iLMKM-00018D-WF for bug-guix@gnu.org; Fri, 18 Oct 2019 03:05:36 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iLMKL-0001HF-Mf for bug-guix@gnu.org; Fri, 18 Oct 2019 03:05:34 -0400 Received: from pelzflorian.de ([5.45.111.108]:51754 helo=mail.pelzflorian.de) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iLMKL-0001ER-6P for bug-guix@gnu.org; Fri, 18 Oct 2019 03:05:33 -0400 Received: from pelzflorian.localdomain (unknown [5.45.111.108]) by mail.pelzflorian.de (Postfix) with ESMTPSA id 4DC153604C5; Fri, 18 Oct 2019 09:05:30 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=pelzflorian.de; s=mail; t=1571382330; bh=50Ic/8WcyQojuiuX6ut1L+61sulwF/m64i5rpa1TbNc=; h=Date:From:To:Cc:Subject; b=YYdV+sp02GVvRx4BqXdMzbyNsNVTgpd2D8rkJDsuJtOCz52lbV883KGPTrFdOqF++ b1df7oFFUVk0LaXZSTBSO1qFcoDzliopM5fcijEKsDmx4tE0PGU194dpGaXfymLOZd 5Vex8X3645zgE49zhEtbVhpHWYYoemj9dV5QSN28= Date: Fri, 18 Oct 2019 09:05:29 +0200 From: "pelzflorian (Florian Pelz)" To: bug-guix@gnu.org Subject: getmail service documentation error? Message-ID: <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="6bh443ba25sq3evh" Content-Disposition: inline User-Agent: NeoMutt/20180716 Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 5.45.111.108 X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: Christopher Baines 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 (--) --6bh443ba25sq3evh Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable The documentation of the getmail service=E2=80=99s delete_after setting i= s confusing and appears to contradict upstream documentation at . I am not sure, but the code in the getmail file in the getmail source code also appears to call destination.deliver_message before deleting, in agreement with upstream. Can someone with knowledge check? Shall I push the attached patch? Regards, Florian --6bh443ba25sq3evh Content-Type: text/plain; charset=us-ascii Content-Disposition: attachment; filename="0001-Fix-documentation-of-delete_after-in-the-getmail-ser.patch" >From 971fee0af8908acdc73498917a8a55811122ac8e Mon Sep 17 00:00:00 2001 From: Florian Pelz Date: Fri, 18 Oct 2019 08:52:12 +0200 Subject: [PATCH] Fix documentation of delete_after in the getmail service. * doc/guix.texi (Getmail service): Remove the word `not'. * gnu/services/getmail.scm (getmail-options-configuration): Ditto. --- doc/guix.texi | 2 +- gnu/services/getmail.scm | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/guix.texi b/doc/guix.texi index a38eb2aa7c..32d2ffe044 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -17435,7 +17435,7 @@ Defaults to @samp{#f}. @deftypevr {@code{getmail-options-configuration} parameter} non-negative-integer delete-after Getmail will delete messages this number of days after seeing them, if -they have not been delivered. This means messages will be left on the +they have been delivered. This means messages will be left on the server this number of days after delivering them. A value of @samp{0} disabled this feature. diff --git a/gnu/services/getmail.scm b/gnu/services/getmail.scm index b807bb3a5d..b3d86cb65c 100644 --- a/gnu/services/getmail.scm +++ b/gnu/services/getmail.scm @@ -176,8 +176,8 @@ server.") (delete-after (non-negative-integer 0) "Getmail will delete messages this number of days after seeing them, if -they have not been delivered. This means messages will be left on the server -this number of days after delivering them. A value of @samp{0} disabled this +they have been delivered. This means messages will be left on the server this +number of days after delivering them. A value of @samp{0} disabled this feature.") (delete-bigger-than (non-negative-integer 0) -- 2.23.0 --6bh443ba25sq3evh-- ------------=_1571385782-5759-1-- From unknown Fri Jun 20 07:28:28 2025 X-Loop: help-debbugs@gnu.org Subject: bug#37804: getmail service documentation error? Resent-From: "pelzflorian (Florian Pelz)" Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 18 Oct 2019 08:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 37804 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 37804@debbugs.gnu.org Received: via spool by 37804-submit@debbugs.gnu.org id=B37804.15713861596528 (code B ref 37804); Fri, 18 Oct 2019 08:10:02 +0000 Received: (at 37804) by debbugs.gnu.org; 18 Oct 2019 08:09:19 +0000 Received: from localhost ([127.0.0.1]:49248 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLNK3-0001hE-Bz for submit@debbugs.gnu.org; Fri, 18 Oct 2019 04:09:19 -0400 Received: from pelzflorian.de ([5.45.111.108]:41254 helo=mail.pelzflorian.de) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iLNJz-0001gx-EC for 37804@debbugs.gnu.org; Fri, 18 Oct 2019 04:09:18 -0400 Received: from pelzflorian.localdomain (unknown [5.45.111.108]) by mail.pelzflorian.de (Postfix) with ESMTPSA id 2E7C43604C5 for <37804@debbugs.gnu.org>; Fri, 18 Oct 2019 10:09:14 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=pelzflorian.de; s=mail; t=1571386154; bh=Jb9iZwbj31Y0mg5a2AYLgwUkZoawtBrpv3Y0xtXTXNI=; h=Date:From:To:Subject:References:In-Reply-To; b=HMxjEp88QTxOkkB48cZIWkzoVkIcitnfxH+iJyDbIhC/kYX6MxUkGq53MvsXE2uON C5+dm3GBJjMlnmfRrqz+fzU3hldgrLarHpt0O+foESFHWQKxG5YFm7UK4EJYed3kwK uNIE3+oesz5iZz3ffnvtCwQQCkuDPixc4K2624ac= Date: Fri, 18 Oct 2019 10:09:13 +0200 From: "pelzflorian (Florian Pelz)" Message-ID: <20191018080913.boqyojcwzrw2tkfu@pelzflorian.localdomain> References: <20191018070529.dnqp2qcnsimjoet4@pelzflorian.localdomain> <87r23aqyv4.fsf@cbaines.net> <20191018080231.xqm73vngjpeprhca@pelzflorian.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20191018080231.xqm73vngjpeprhca@pelzflorian.localdomain> User-Agent: NeoMutt/20180716 X-Spam-Score: 0.0 (/) 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: -1.0 (-) On Fri, Oct 18, 2019 at 10:02:31AM +0200, pelzflorian (Florian Pelz) wrote: > On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote: > > The change and patch looks reasonable to me. > > > Pushed. Thank you! > > > I forgot prefixing the commit with doc. Too late now. Sorry.