Re: [PATCH 36/45] arch/nios2: remove duplicate includes

2017-12-11 Thread Tobias Klauser
On 2017-12-10 at 19:22:51 +0100, Pravin Shedge wrote: > These duplicate includes have been found with scripts/checkincludes.pl but > they have been removed manually to avoid removing false positives. > > Signed-off-by: Pravin Shedge Reviewed-by: Tobias Klauser Thanks

[PATCH 36/45] arch/nios2: remove duplicate includes

2017-12-10 Thread Pravin Shedge
These duplicate includes have been found with scripts/checkincludes.pl but they have been removed manually to avoid removing false positives. Signed-off-by: Pravin Shedge --- arch/nios2/mm/fault.c | 1 - 1 file changed, 1 deletion(-) diff --git a/arch/nios2/mm/fault.c b/arch/nios2/mm/fault.c in