Processed: your mail
Processing commands for control@bugs.debian.org:
> found 689420 linux-image-3.2.0-4-amd64
Bug #689420 [src:linux] Linux does not boot on Intel Core i7-3720QM Processor (2.60GHz Turbo)
The source 'linux' and version 'linux-image-3.2.0-4-amd64' do not appear to match any binary packages
Marked as found in versions linux/linux-image-3.2.0-4-amd64.
> 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: