Hi Guillem,
I was planning on sending the patches to the BTS, and then probably issue a delayed upload. But maybe you prefer if I push my changes somewhere and you pull those, and do the the upload yourself? Or for me to just push to the collab-maint git repo and do a direct upload?
It's OK to push to git a do a direct upload. Thanks, Jochen
