Wed, 28 May 2014 11:32:09 +0200merge
Edouard Tisserant [Wed, 28 May 2014 11:32:09 +0200] rev 894
merge

Wed, 28 May 2014 10:39:31 +0200closed temporary fix branch
Edouard Tisserant [Wed, 28 May 2014 10:39:31 +0200] rev 893
closed temporary fix branch