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

Jump to bottom

db: Switch verbose and debug priority #1330

Merged

V-FEXrt merged 1 commit into master from issue-1314

Jun 29, 2023

Contributor

V-FEXrt commented Jun 29, 2023

Fixes #1314

Move verbose before debug in priority list since verbose has less information.


          db: Switch verbose and debug priority

7cda0ae

V-FEXrt requested a review from JakeSiFive

June 29, 2023 19:33

JakeSiFive approved these changes

View reviewed changes

V-FEXrt merged commit 370d6ee into master

V-FEXrt deleted the issue-1314 branch

June 29, 2023 20:20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet