Skip to content
New issue

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

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

Already on GitHub? # to your account

Priority Fixes for review #115

Merged
merged 4 commits into from
Mar 17, 2024
Merged

Priority Fixes for review #115

merged 4 commits into from
Mar 17, 2024

Conversation

drojf
Copy link
Contributor

@drojf drojf commented Mar 17, 2024

  • Includes automatically fixed priority on lines with error
  • Please delete //ERROR_EXISTING: comments, those are just to indicate where priority was last used

If it seems OK I'll remove the comments from the PR (or you can just apply manually)

- Includes automatically fixed priority on lines with error
- Please delete //ERROR_EXISTING: comments, those are just to indicate where priority was last used
@drojf drojf requested a review from orian34 March 17, 2024 01:23
@orian34 orian34 merged commit dbeef9b into master Mar 17, 2024
4 checks passed
@orian34 orian34 deleted the f-fix-priority branch March 17, 2024 08:41
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants