On 19 Nov 2014, at 14:15, Mickael Istria wrote:

Hi folks,

I updated the PR for target-platforms to use Mars M3.
Please give it a try ASAP, or you may have bad surprises when we make it the default one for master (Thursday?).

link?