Processed: notfound 689420 in linux-image-3.2.0-4-amd64/3.2.30-1 ..., found 689420 in linux/3.2.30-1 ...
Processing commands for control@bugs.debian.org:
> notfound 689420 linux-image-3.2.0-4-amd64/3.2.30-1
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
The source linux-image-3.2.0-4-amd64 and version 3.2.30-1 do not appear to match any binary packages
No longer marked as found in versions linux-image-3.2.0-4-amd64/3.2.30-1.
> notfound 689420 linux-image-3.2.0-4-amd64/3.2.32-1
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
The source linux-image-3.2.0-4-amd64 and version 3.2.32-1 do not appear to match any binary packages
No longer marked as found in versions linux-image-3.2.0-4-amd64/3.2.32-1.
> found 689420 linux/3.2.30-1
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
Marked as found in versions linux/3.2.30-1.
> found 689420 linux/3.2.32-1
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
Marked as found in versions linux/3.2.32-1.
> severity 689420 important
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
Severity set to 'important' from 'grave'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
689420: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689420
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: