Re: [GIT PULL rcu/next] RCU commits for 5.3

[Ingo Molnar]

* 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