Problemen med filservern file00.chalmers.se är avhjälpta och systemet levererar hemkataloger som vanligt sedan cirka 13.15 idag. The problems with the file server file00.chalmers.se have been remedied and the system is again serving home directories since about 13.15 today. /Kristoffer, Chalmers ITS