[Pkg-xen-devel] Processed: fixed 677221 in 4.0.1-5.2

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 677221 4.0.1-5.2
Bug #677221 {Done: Bastian Blank <waldi at debian.org>} [src:xen] xen: Xen PV privilege escalation (CVE-2012-0217)
Marked as fixed in versions xen/4.0.1-5.2.
> 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