On Mon, Nov 05, 2018 at 04:35:40PM +0100, Ingo Molnar wrote:> s/shutdown> /shut downFixed.Thx.-- Regards/Gruss, Boris.Good mailing practices for 400: avoid top-posting and trim the reply.