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