r208380 - Fix filename in file header comment.

[Rafael Espíndola]

On 8 May 2014 21:09, Nico Weber <thakis at chromium.org> wrote:
> Does having it hurt much? I agree it's not terribly useful, but at least
> we're pretty consistent about having them at the moment.

Much? No, but I really never understood why. It is clearly just copy
and pasted every time a new file is added. Dropping it would be a
similar style change to dropping the function name the comments
preceding the function.

Cheers,
Rafael