And of course I also created a new patch request instead of commenting on the other one. I think we can close 61904, and I'm really sorry about that :( Adriel Dumas--Jondeau writes: > 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.