Made sure project names from authorities where compared ignoring case - #2851

Made sure project names from authorities where compared ignoring case#2851

DavyLandman merged 2 commits into

mainusethesource/rascal:mainfrom

fix/support-case-insensitive-project-namesusethesource/rascal:fix/support-case-insensitive-project-namesCopy head branch name to clipboard