Subject: [PATCH] irq-gic: remove file name from heading comment

From: [email-masked] (Sergei Shtylyov)
Date: Wed, 15 Jan 2014 02:49:15 +0300

Hello.

On 12/14/2013 02:24 AM, Sergei Shtylyov wrote:

> File names in the heading comments  fell out of favor long ago, and this one
> weren't even changed when the driver was moved from arch/arm/common/, so remove
> it at last...

> Signed-off-by: Sergei Shtylyov <[email-masked]>

> ---
> The patch is against the 'irq/core' branch of the 'tip.git' repo.

    Thomas, is there a chance that you merge this patch for 3.14? Is it even 
the right branch for cleanups (I'm seeing fixes there)?

WBR, Sergei