From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:34266) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iofLf-0006pF-8g for guix-patches@gnu.org; Mon, 06 Jan 2020 22:16:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iofLe-0006Y5-9u for guix-patches@gnu.org; Mon, 06 Jan 2020 22:16:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:41135) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iofLd-0006Xq-Va for guix-patches@gnu.org; Mon, 06 Jan 2020 22:16:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iofLd-0003Gx-R5 for guix-patches@gnu.org; Mon, 06 Jan 2020 22:16:01 -0500 Subject: bug#38965: [PATCH 00/12] gnu: coq: Update to 8.10.2. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Brett Gilio References: <874kx9xa9u.fsf@gnu.org> <53E54994-18D2-4D82-8E96-3D6E8A3A9D14@lepiller.eu> <87o8vgm37i.fsf@gnu.org> <2E36EFCF-C7C0-442B-8F03-46CC3167DA92@lepiller.eu> Date: Mon, 06 Jan 2020 21:15:00 -0600 In-Reply-To: (Brett Gilio's message of "Tue, 7 Jan 2020 02:38:20 +0000 (UTC)") Message-ID: <8736csrm8b.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain 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: Julien Lepiller Cc: 38965-done@debbugs.gnu.org Pushed to master with corrections. Closing. :) -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]