Processed: Re: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 05 Oct 2015 15:51:07 +0000
Message-id: <[🔎] handler.s.B800934.144406010128453.transcript@bugs.debian.org>
References: <[🔎] 1444060076.2730.296.camel@decadent.org.uk> <20151005082404.3148.85952.reportbug@fomalhaut.up7.fr>

Processing control commands:

> tag -1 upstream patch
Bug #800934 [src:linux] linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Added tag(s) upstream and patch.

-- 
800934: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800934
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#800934: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
  - From: Ben Hutchings <ben@decadent.org.uk>

Prev by Date: Bug#800934: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Next by Date: Bug#800934: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Previous by thread: Bug#800934: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Next by thread: Bug#800934: linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Index(es):
- Date
- Thread