
<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    Hi folks,<br>

    <br>

    I updated the PR for target-platforms to use Mars M3.<br>

    Please give it a try ASAP, or you may have bad surprises when we

    make it the default one for master (Thursday?).<br>

    <br>

    <div class="moz-signature">-- <br>

      Mickael Istria<br>

      Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,

        by Red Hat</a><br>

      <a href="http://mickaelistria.wordpress.com">My blog</a> - <a

        href="http://twitter.com/mickaelistria">My Tweets</a></div>

  </body>

</html>