Status of /mixedtmp/lehd3 on NSF01
The problematic filesystem (/mixedtmp/lehd3) has been successfully backed up.
Until the downtime in October, the filesystem will be made read-only. Please
also avoid, to the extent possible, reading from this filesystem.
