Hi Jason, On Thu, 4 Jul 2019 13:28:41 +0000 Jason Gunthorpe wrote: > > BTW, do you use a script to get these conflicting patch commit ID > automatically? It is so helpful to have them. No, I just use gitk and a bit of searching. Though often there are not many possible commits to search. -- Cheers, Stephen Rothwell