[L?ST] Problemer med lagring p? Fox

Det kom meldinger om problemer med ? kj?re jobber p? Fox litt f?r 9 i morges (2023-04-25). Dette var som f?lge av at filsystemet som huser Fox p? kort tid n?dde maks kapasitet.

Fox ble tildelt mer lagring kl. 11:37, og problemet ble dermed l?st.