Processing commands for cont...@bugs.debian.org: > retitle 860236 Xen PV domU crash - MCE timer migrated and not removed after > hotplug? Bug #860236 [src:linux] xen pv domU crash with 3.16 kernel and xen 4.8 Changed Bug title to 'Xen PV domU crash - MCE timer migrated and not removed after hotplug?' from 'xen pv domU crash with 3.16 kernel and xen 4.8'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 860236: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860236 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
