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
\makeatletter \@ifundefined{Shaded}{ }{\renewenvironment{Shaded}{\begin{kframe}}{\end{kframe}}} \makeatother
