"...main/gitlab@git.se.informatik.uni-kiel.de:nts/teetime.git" did not exist on "035cf2e01e6ba12fc0b5cae1d4b170de295e7777"
approved this merge request
requested review from @sgu
removed review request for @rju
requested review from @sgu
approved this merge request
merged
mentioned in commit 9474bf11