From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:47559)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1iNOHY-0005NO-Ko
 for guix-patches@gnu.org; Wed, 23 Oct 2019 17:35:08 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1iNOHW-000252-UC
 for guix-patches@gnu.org; Wed, 23 Oct 2019 17:35:04 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:54507)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1iNOHW-00024S-9I
 for guix-patches@gnu.org; Wed, 23 Oct 2019 17:35:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1iNOHW-0007Sv-6Y
 for guix-patches@gnu.org; Wed, 23 Oct 2019 17:35:02 -0400
Subject: bug#37857: [PATCH] guix: svn: Allow dropping externals
Resent-To: guix-patches@gnu.org
Resent-Message-ID: <handler.37857.D37857.157186647228652.done@debbugs.gnu.org>
Date: Wed, 23 Oct 2019 23:34:23 +0200
From: Julien Lepiller <julien@lepiller.eu>
Message-ID: <20191023233423.5e7b1bdf@sybil.lepiller.eu>
In-Reply-To: <20191021215538.60675430@sybil.lepiller.eu>
References: <20191021215538.60675430@sybil.lepiller.eu>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: 37857-done@debbugs.gnu.org

Pushed as 51395c84fdbf8daed6392951a973ad750cf3eefa.