GitLab update scheduled for Friday, January 21th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.

move name resolution methods, externalize additional names, fix naming problem...

move name resolution methods, externalize additional names, fix naming problem of the unresolved interface
1 job for better-api-generation in 2 minutes and 58 seconds
Status Name Job ID Coverage
  Build
passed test #13025

00:02:58