-
Johannes Mey authoredmove name resolution methods, externalize additional names, fix naming problem of the unresolved interface
8a5cec44
GitLab update scheduled for Friday, July 8th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.
move name resolution methods, externalize additional names, fix naming problem of the unresolved interface