From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:54932) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hn7QB-0004L7-IH for guix-patches@gnu.org; Mon, 15 Jul 2019 16:18:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hn7QA-00064h-Qs for guix-patches@gnu.org; Mon, 15 Jul 2019 16:18:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40391) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hn7QA-00064T-Nj for guix-patches@gnu.org; Mon, 15 Jul 2019 16:18:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hn7QA-00011Y-Fl for guix-patches@gnu.org; Mon, 15 Jul 2019 16:18:02 -0400 Subject: [bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the internet. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87k1cjr6vv.fsf@gnu.org> <20190715194558.13804-1-mail@cbaines.net> <20190715194558.13804-4-mail@cbaines.net> Date: Mon, 15 Jul 2019 22:17:21 +0200 In-Reply-To: <20190715194558.13804-4-mail@cbaines.net> (Christopher Baines's message of "Mon, 15 Jul 2019 20:45:58 +0100") Message-ID: <87o91vhx2m.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Christopher Baines Cc: 35790@debbugs.gnu.org Hi! It seems to me we=E2=80=99re all set now. Thanks a lot for all the work and for your patience! Ludo=E2=80=99.