Sorry for patch spam!

[Jan Kara]

Hello,

I'm deeply sorry about the patch spam I set a while ago. I've
accidentally run git-send-email on a wrong directory...

Honza