Processing commands for control@bugs.debian.org: > severity 407757 normal Bug#407757: xen kernel makes dom0 slower Severity set to `normal' from `important' > tags 407757 moreinfo Bug#407757: xen kernel makes dom0 slower There were no tags set. Tags added: moreinfo > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)