From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:55176) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iW0Mn-0004rt-8L for guix-patches@gnu.org; Sat, 16 Nov 2019 10:52:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iW0Mm-0002xg-Ch for guix-patches@gnu.org; Sat, 16 Nov 2019 10:52:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:59010) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iW0Mm-0002xa-A3 for guix-patches@gnu.org; Sat, 16 Nov 2019 10:52:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iW0Mm-0006b2-3p for guix-patches@gnu.org; Sat, 16 Nov 2019 10:52:04 -0500 Subject: [bug#38069] [PATCH]: Adjust make-bootstrap linux headers Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20191105125633.GA14453@E5400> <87ftirmnju.fsf@gnu.org> <20191114083012.GB969@E5400> <87lfsim9ss.fsf@gnu.org> <20191115110114.GD969@E5400> Date: Sat, 16 Nov 2019 16:51:00 +0100 In-Reply-To: <20191115110114.GD969@E5400> (Efraim Flashner's message of "Fri, 15 Nov 2019 13:01:14 +0200") Message-ID: <877e3zyg4b.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: Efraim Flashner Cc: 38069-done@debbugs.gnu.org Efraim Flashner skribis: > Ok. Patch pushed Cool, thank you! Ludo=E2=80=99.