
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

  </head>

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

    Hi all,<br>

    <br>

    You probably received some mails telling you that a lot of jobs are

    failing on Jenkins. Don't worry too much, it's not critical.<br>

    The reason is that our cache directory where we put mirrors for

    target-platforms and more has been cleared. We don't know why, we

    don't know by who; but we know how to repopulate it. That's what we

    are doing now: we're rebuilding the necessary target-platforms on

    Jenkins so they get back into the cache.<br>

    <br>

    So please be patient and stay cool ;)<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>