Merge branch 'pre_fs2019_updates' into 'master'
Merge of pre-Spring 2019 semester updates into the master See merge request D-FaLL/PandS-System/D-FaLL-System!12
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
Merge of pre-Spring 2019 semester updates into the master See merge request D-FaLL/PandS-System/D-FaLL-System!12