Re: [PATCH V5 3/8] misc/pvpanic: revmove unnecessary header file

[Mark Rutland]

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.h...@zte.com.cn>
> 
> Acked-by: Mark Rutland <mark.rutl...@arm.com>

... though please fix the title:

s/revmove/remove/

Mark.