Re: [PATCH v2 00/23] locking/lockdep: Small improvements

[Peter Zijlstra]

On Mon, May 06, 2019 at 04:19:16PM +0800, Yuyang Du wrote:
> Hi Peter,
> 
> Let me post these small bits first while waiting for Frederic's patches
> to be merged.
> 

They apply nicely and should show up in tip after the merge window
closes or thereabout.

Thanks!