Processed: severity of 803087 is important
Processing commands for control@bugs.debian.org:
> severity 803087 important
Bug #803087 [src:linux] hangs often after upgrade to 4.2.0. last time: BUG: unable to handle kernel NULL pointer dereference at 0000000000000040
Severity set to 'important' from 'critical'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
803087: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803087
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: