Make web.config match case insensitive#20061

smowton merged 1 commit intogithub:maingithub/codeql:mainfrom

jfrank-nih:web.configjfrank-nih/codeql:web.configCopy head branch name to clipboard