[Pkg-xen-devel] Processed: Re: Bug#677221: xen: Xen PV privilege escalation (CVE-2012-0217)

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 677221 4.0.1-1
Bug #677221 [src:xen] xen: Xen PV privilege escalation (CVE-2012-0217)
Marked as found in versions xen/4.0.1-1.
> fixed 677221 4.0.1-5
Bug #677221 [src:xen] xen: Xen PV privilege escalation (CVE-2012-0217)
The source xen and version  do not appear to match any binary packages
Marked as fixed in versions xen/4.0.1-5.
> severity 677221 grave
Bug #677221 [src:xen] xen: Xen PV privilege escalation (CVE-2012-0217)
Severity set to 'grave' from 'critical'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
677221: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=677221
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems