On Tue, Feb 18, 2020 at 01:39:25PM -0800, Paul E. McKenney wrote:> OK. I will drop it later today, but leave tag in_nmi.2020.02.18a> pointing at it for future reference.Thanks, I've picked it up in my series.