Following a 4-months outage period, gcc20 has been brought back online thanks to our host Inria.
We took this opportunity to perform a much-needed upgrade from wheezy to stretch.
User data has been kept through the upgrade, but please use this opportunity to clean up your old data! Currently, 729 GB of disk space is used out of a 825 GB capacity.