Processed: Re: Bug#708737: BUG: unable to handle kernel NULL pointer dereference

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#708737: BUG: unable to handle kernel NULL pointer dereference
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 19 May 2013 00:09:14 +0000
Message-id: <[🔎] handler.s.B708737.136892198413630.transcript@bugs.debian.org>
References: <[🔎] 1368921969.3469.83.camel@deadeye.wl.decadent.org.uk> <[🔎] 20130518083750.6076.97988.reportbug@phobos.mars.org>

Processing control commands:

> merge 707867 708064 -1
Bug #707867 [src:linux] BUG: unable to handle kernel paging request
Bug #708737 [src:linux] BUG: unable to handle kernel NULL pointer dereference
Marked as found in versions linux/3.2.41-2.
Bug #707867 [src:linux] BUG: unable to handle kernel paging request
Marked as found in versions linux/3.2.41-2+deb7u2.
Bug #708064 [src:linux] BUG: Bad page state in process
Marked as found in versions linux/3.2.41-2+deb7u2.
Merged 707867 708064 708737

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

Reply to:

References:
- Bug#708737: BUG: unable to handle kernel NULL pointer dereference
  - From: Ben Hutchings <ben@decadent.org.uk>
- Bug#708737: BUG: unable to handle kernel NULL pointer dereference
  - From: Rob Leslie <rob@mars.org>

Prev by Date: Bug#708737: BUG: unable to handle kernel NULL pointer dereference
Next by Date: Processed: found 703607 in 3.8.13-1
Previous by thread: Bug#708737: BUG: unable to handle kernel NULL pointer dereference
Next by thread: Bug#708737: BUG: unable to handle kernel NULL pointer dereference
Index(es):
- Date
- Thread