On Mon, Jun 15, 2020 at 10:14:04AM -0700, Paul E. McKenney wrote:> This merge window has been quite the trainwreck, hasn't it? :-/Keeps life interesting I suppose..