Hi all,
due to problems on Google's side, we cannot push into our Google Code
clone of fiji.git:
https://code.google.com/p/fiji-bi/source/list. For the
time being, I disabled it in the mirror job.
Should I forget to re-enable it when I return in September, please
somebody remind me?
Ciao,
Johannes