* Paul E. McKenney <paulmck@xxxxxxxxxxxxx> wrote: > On Tue, Jun 18, 2019 at 11:07:42AM -0700, Paul E. McKenney wrote: > > Hello, Ingo, > > > > This pull request contains the following changes: > > Gah!!! This one has some duplicated commits, so please ignore. > I will send an updated pull request early next week. > > It is functionally correct, but... > > One of those weeks, I guess. :-/ No problem! :-) Thanks, Ingo
