Remove duplicate enum#4085

robertbrignull merged 2 commits intomaingithub/vscode-codeql:mainfrom

robertbrignull/duplicate-enumsgithub/vscode-codeql:robertbrignull/duplicate-enumsCopy head branch name to clipboard