On Mon, Jul 02, 2018 at 09:59:34AM +0100, John Whitmore wrote:> I'll fix that up and re-submit Please do not top-post, or send html email, as the mailing lists willreject it (as you saw...)greg k-h