On Tue, 18 Jun 2019 16:51:06 +0100 Valentin Schneider <valentin.schneider@xxxxxxx> wrote: > I'm afraid this was only a "drive-by" patch, as I just happened to skim > through this page on my phone while waiting for a meeting - I'm quite > clueless about page poisoning. No worries. Thanks for the patch; it makes things better than they were before, and I can't complain about that! jon
