[#96] Fixed compiler error because of naive renaming
Passed
Tobias Frisch
created pipeline for commit
e77fb594
, finished
1 related merge request: !97 Resolve "Dokumentation vervollständigen"
6 minutes 26 seconds, queued for 9 seconds