From mboxrd@z Thu Jan 1 00:00:00 1970 From: ng0 Subject: bug#14851: #14851 - linux-libre-3.3.8-gnu disappeared Date: Mon, 3 Apr 2017 10:53:23 +0000 Message-ID: <20170403105323.qorgkh3kdfg37vqo@abyayala> References: <201307121302.05303.andreas@enge.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54727) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cuzcb-00040s-Qr for bug-guix@gnu.org; Mon, 03 Apr 2017 06:54:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cuzcY-00087I-BH for bug-guix@gnu.org; Mon, 03 Apr 2017 06:54:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:59951) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cuzcY-000872-4J for bug-guix@gnu.org; Mon, 03 Apr 2017 06:54:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1cuzcX-0002a2-LN for bug-guix@gnu.org; Mon, 03 Apr 2017 06:54:01 -0400 In-Reply-To: <201307121302.05303.andreas@enge.fr> Sender: "Debbugs-submit" Resent-Message-ID: Content-Disposition: inline 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: 14851@debbugs.gnu.org Andreas, Ludovic, and others: This bug report was last modified 3 years and 258 days ago. It is my understanding that this bug could be closed. I see no more current problems and it makes no sense to keep the bug open just in case the problem appears again. Would you agree?