Hello all, I had mistakenly pushed a merge of v2013.01.01 onto the Git ARM repo. I have just force-pushed the correct head, 5bedf884 (parent of 107...) Sorry for the inconvenience. Amicalement, -- Albert.