Andreas, while I wait for a reply from the release managers, it would be great to know the answer to this question:
[Petter Reinholdtsen] > OK to push it to the collab-maint git repo before upload, or should I > wait until it is accepted? -- Happy hacking Petter Reinholdtsen
