Branching in a few minutes

[Luigi Ballabio-2]

Hi all,
        I'm creating the release branch in a few minutes. If you have anything to
commit, please wait that I'm done---I'll send another mail when I am.

Later,
        Luigi