From mboxrd@z Thu Jan 1 00:00:00 1970 From: "pelzflorian (Florian Pelz)" Subject: bug#37804: getmail service documentation error? Date: Fri, 18 Oct 2019 10:02:31 +0200 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 Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:34815) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iLNDz-00057g-VG for bug-guix@gnu.org; Fri, 18 Oct 2019 04:03:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iLNDy-0007QB-Kz for bug-guix@gnu.org; Fri, 18 Oct 2019 04:03:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40410) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iLNDy-0007Ps-9E for bug-guix@gnu.org; Fri, 18 Oct 2019 04:03:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iLNDy-0001V1-5D for bug-guix@gnu.org; Fri, 18 Oct 2019 04:03:02 -0400 Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Message-ID: Content-Disposition: inline In-Reply-To: <87r23aqyv4.fsf@cbaines.net> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Christopher Baines Cc: 37804-done@debbugs.gnu.org On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote: > The change and patch looks reasonable to me. Pushed. Thank you!