Processed: FW: Bug#824416: cpu fan doesn't start

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> reassign -1 src:linux 3.2.78-1
Bug #824416 [src:linux] cpu fan doesn't start
Ignoring request to reassign bug #824416 to the same package
Bug #824416 [src:linux] cpu fan doesn't start
Ignoring request to alter found versions of bug #824416 to the same values previously set
> tag -1 moreinfo
Bug #824416 [src:linux] cpu fan doesn't start
Ignoring request to alter tags of bug #824416 to the same tags previously set

-- 
824416: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=824416
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems