Hi all, We have not been very disciplinated (myself included!) with the branches management, so please do not commit to branch-3.9 anymore. Please use the trunk instead. We may reuse it if the next release is a 3.9.1, but it will have to be deleted first ;-) Thanks