Hi Juergen, On Wed, 29 Mar 2017 11:54:57 +0200 Juergen Gross <[email protected]> wrote: > > Stephen, I have rewound the linux-next branch of xen-tip to its previous > position. You can re-enable xen-tip.
Thanks, it should be all good tomorrow. -- Cheers, Stephen Rothwell

