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

default an explicitly passed priority of nil to the default priority #21

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

javawizard
Copy link
Contributor

Reopening #12 which I somehow managed to accidentally close.

Any chance of getting this merged? I'm monkey patching around it in 3 separate projects now.

@ccutrer ccutrer closed this Oct 2, 2023
@javawizard
Copy link
Contributor Author

@ccutrer - Any reason this was closed without merging or comment? I'm still monkey patching it around...

@ccutrer ccutrer reopened this Oct 20, 2023
@ccutrer
Copy link
Contributor

ccutrer commented Oct 20, 2023

Apologies. I was thinking this was a mistake PR that should have gone to Gerrit.

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.

2 participants