On Tue, Jun 25, 2019 at 09:52:38AM -0700, Paul E. McKenney wrote: > Very well, the commit is as shown below. This is on current -rcu, > but feel free to take it if you would like, Peter. Just let me know > and I will mark it so that I don't push it myself. (I need to keep > it in -rcu until I rebase onto a version of mainline that contains > it so as to avoid spurious rcutorture failures.)
Looks good. I'll pick it up and then we need to take care when all lands in tip.
