Processed: severity of 655773 is normal, reassign 655773 to mirrors
Processing commands for control@bugs.debian.org:
> severity 655773 normal
Bug #655773 [linux-headers-3.1.0-1-amd64] Missing Linux headers
Severity set to 'normal' from 'grave'
> reassign 655773 mirrors
Bug #655773 [linux-headers-3.1.0-1-amd64] Missing Linux headers
Bug reassigned from package 'linux-headers-3.1.0-1-amd64' to 'mirrors'.
Bug No longer marked as found in versions 3.1.0-1.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
655773: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=655773
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: