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 14:39:07 +0000
Message-id: <[🔎] handler.s.B800934.1444055780558.transcript@bugs.debian.org>
References: <[🔎] 1444055768.2730.290.camel@decadent.org.uk> <20151005082404.3148.85952.reportbug@fomalhaut.up7.fr>

Processing control commands:

> severity -1 important
Bug #800934 [src:linux] linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Severity set to 'important' from 'grave'
> tag -1 moreinfo
Bug #800934 [src:linux] linux-image-4.2.0-1-amd64: Kernel 4.2.0-1-amd64 does not boot
Added tag(s) moreinfo.

-- 
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: initramfs-tools
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