Processed: Re: Bug#752730: Linux-source-3.2: Version 3.2.57-3+deb7u2 does not compile

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

Processing control commands:

> severity -1 normal
Bug #752730 [linux-source-3.2] Linux-source-3.2: Version 3.2.57-3+deb7u2 does not compile
Severity set to 'normal' from 'serious'
> tag -1 patch
Bug #752730 [linux-source-3.2] Linux-source-3.2: Version 3.2.57-3+deb7u2 does not compile
Ignoring request to alter tags of bug #752730 to the same tags previously set

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