Processed: Current status
Processing commands for control@bugs.debian.org:
> found 689420 linux-image-3.2.0-4-amd64/3.2.57-3+deb7u1
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.57-3+deb7u1 do not appear to match any binary packages
Marked as found in versions linux-image-3.2.0-4-amd64/3.2.57-3+deb7u1.
> notfound 689420 linux-image-amd64/3.9+49
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
The source linux-image-amd64 and version 3.9+49 do not appear to match any binary packages
Ignoring request to alter found versions of bug #689420 to the same values previously set
> stop
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: