On Thu, 17 Jan 2019 at 16:15, Philippe Mathieu-Daudé <[email protected]> wrote: > > Patch incorrectly applied as 15ffb43cbf4. > > Signed-off-by: Philippe Mathieu-Daudé <[email protected]> > --- > Paolo can this be a patchew bug?
Putting a suitable check into checkpatch would probably be a good idea. thanks -- PMM
