New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unused shortname options #1239

Open

robertlipe wants to merge 11 commits into master from unused_options

Open

Remove unused shortname options #1239

Merge branch 'master' into unused_options

GitHub Advanced Security / CodeQL completed Sep 14, 2024 in 2s

Error when processing the SARIF file

This check concluded as neutral.