I was looking through the maintainers file and noticed that the
xen-devel email address is out of date in certain places.

-- 
Andrew Cooper - Dom0 Kernel Engineer, Citrix XenServer
T: +44 (0)1223 225 900, http://www.citrix.com