Processed: severity of 520677 is important
 

Processing commands for control@bugs.debian.org:

> # causes reboots, crashes
> severity 520677 important
Bug#520677: linux-2.6: [x86] VMI does not correctly release PGD pages
Severity set to `important' from `normal'

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)


--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org