Heh. I applied it just before pulling, so it's there twice. Git obviously
then merged it without problems, so I didn't even notice until you
mentioned it (because the diffstat matched your original diffstat due to
the new commit you added not actually causing any differences ;)
Linus
-