Processed: closing 860236
Processing commands for control@bugs.debian.org:
> 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 owner@bugs.debian.org with problems
Reply to: