Hi Alvaro, > can you submit this via git ReviewBoard? That's the preferred method > for patches. > Easier for everyone to comment on it. OK, I guess I'll have to open up an account there and submit the patch there. Give me a few mins… ;-) Marko