Aye,

I sent the wrong patch (I formatted the latest retrieved commit on
origin instead of my local branch).

Here's the right one, I'm sorry for the noise.