On Tue, Jun 23, 2020 at 04:28:58PM +0200, Petr Mladek wrote:> PS: And yes, it makes sense to push both patches via a single tree to> make sure that the lockdep.h split is done first.That's what I got you tip/locking/header for, pull that topic branchinto your tree.