-
https://gitlab.ethz.ch/amiv/amiv-admintoolKai Ott authored
Merge branch 'codingweekendfs18' of https://gitlab.ethz.ch/amiv/amiv-admintool into codingweekendfs18
https://gitlab.ethz.ch/amiv/amiv-admintoolKai Ott authoredMerge branch 'codingweekendfs18' of https://gitlab.ethz.ch/amiv/amiv-admintool into codingweekendfs18