Re: [PATCH V5 3/8] misc/pvpanic: revmove unnecessary header file
From: Mark Rutland
Date: Thu Nov 01 2018 - 07:35:10 EST
On Thu, Nov 01, 2018 at 11:34:29AM +0000, Mark Rutland wrote:
> On Thu, Nov 01, 2018 at 11:09:57PM +0800, Peng Hao wrote:
> > remove unnecessary header file init.h.
> >
> > Signed-off-by: Peng Hao <peng.hao2@xxxxxxxxxx>
>
> Acked-by: Mark Rutland <mark.rutland@xxxxxxx>
... though please fix the title:
s/revmove/remove/
Mark.