Diego, With all the merging going on into the mainline and the bib-branch effectively dead now, will you be doing merges from the mainline to the tree-ssa branch again? Greetz Steven