* Paul E. McKenney <paul...@linux.ibm.com> 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
