Hi Juergen, On Wed, 26 Apr 2017 07:47:49 +0200 Juergen Gross <jgr...@suse.com> wrote: > > On 26/04/17 07:03, Stephen Rothwell wrote: > > Hi all, > > > > David's citrix.com email address is bouncing. Is there a new one I should > > use for the xen-tip tree contact, or should I just remove him? > > > > Just remove him, please. He is no longer maintainer of the Xen tree.
OK, done. -- Cheers, Stephen Rothwell _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
