Valdis, On Tue, 12 Mar 2019, Valdis Klētnieks wrote:
I've applied the lot, but I had to fixup the subject lines. # git log path/to/file gives you a decent hint on what the usual prefix and format is. 'b/arch/x86/mm/pti.c -' is obviously not. Thanks, tglx