On Tue, Apr 23, 2019 at 06:44:55PM +0200, Sebastian Andrzej Siewior wrote: > On 2019-04-23 09:38:09 [-0700], Paul E. McKenney wrote: > > Ah, thank you! Shall I fold the above patch into your existing one, > > or are you looking to do something else here? > > The problem (that has been reported) isn't introduced by the patch in > question but existed since the very beginning. I intend to post a patch > with proper description.
Works for me!
Thanx, Paul

