Processing commands for control@bugs.debian.org: > tags 693053 + pending Bug #693053 {Done: Ben Hutchings <ben@decadent.org.uk>} [src:linux] Add Xen microcode update driver for Wheezy Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 693053: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=693053 Debian Bug Tracking System Contact owner@bugs.debian.org with problems