Skip to content
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.

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

Case-insensitive compare for PRIORITY_EVENTUALLY #87

Merged
merged 1 commit into from
Nov 26, 2024

Conversation

mjwilson-google
Copy link
Contributor

This is to fix #80.

Warning: I haven't actually tested this! But it seems like the obvious fix.

If you need me to test this first I might need a bit of help figuring out how to properly run it locally.

Copy link
Collaborator

@jyasskin jyasskin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@jyasskin jyasskin merged commit f9dbb06 into speced:main Nov 26, 2024
1 check passed
@mjwilson-google mjwilson-google deleted the patch-1 branch November 26, 2024 19:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Priority: Eventually label is not being picked up for triage
2 participants