Re: [RFC tip/locking/lockdep v5 05/17] lockdep: Extend __bfs() to work with multiple kinds of dependencies

Peter Zijlstra
2018-02-22T16:32:41Z

On Fri, Feb 23, 2018 at 12:34:26AM +0800, Boqun Feng wrote:
> OK, so I have some 'proof' in patch #16. I could move that proof in the
> commit log or merge that patch with this one?

Hehe, I'm not yet that far with reading patches.. I'll get to it,
eventually ;-)