On Saturday 01 June 2013, Olof Johansson wrote: > I didn't see that make it to the repo though? > > Since you'd have to rebase anyway, I'll just apply it here and will > include it with the other branch updates. > Thanks. I had applied it locally but then forgot to push it out. Arnd