Re: XEN3_DOMU no longer shutting down or rebooting

[Martin Husemann]

On Tue, Feb 19, 2019 at 03:28:23PM +0000, Chavdar Ivanov wrote:
> Any bells ringing?

I think this already has been fixed by Cherry?

Martin