Processing commands for [email protected]: > close 860236 4.2.1-1 Bug #860236 [src:linux] Xen PV domU crash - MCE timer migrated and not removed after hotplug? Ignoring request to alter fixed versions of bug #860236 to the same values previously set Bug #860236 [src:linux] Xen PV domU crash - MCE timer migrated and not removed after hotplug? Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 860236: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860236 Debian Bug Tracking System Contact [email protected] with problems
