COMPLETED: Short term shutdown of mis.cvut.cz

On December  19, 2019, a short-term shutdown of the mis.cvut.cz system (old PES) is planned in time 13:00-18:00. We apologize for the inconvenience.