Re: [GIT PULL rcu/next] RCU commits for 5.3
From: Ingo Molnar
Date: Thu Jun 20 2019 - 03:04:35 EST
* 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! :-)