Federico Vaga <federico.vaga@xxxxxxxxxx> writes: > Hi Jon, > > I hope you are doing well. I do not want to disturbe you too much, I'm pinging > you just in case this patch got lost. Nope, just finally catching up after the merge window; I think I was applying it exactly as you were writing :) jon
