On Mon, Jun 15, 2020 at 08:33:25PM +0200, Peter Zijlstra wrote:> 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..;-) ;-) ;-) Thanx, Paul