The API info name is nullable when shadowing#2989

nickygerritsen merged 2 commits intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:api-info-name-optionalnickygerritsen/domjudge:api-info-name-optionalCopy head branch name to clipboard