We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In #2351 we are temporarily pointing to a commit in the main branch of redjubjub. We should point to the next release after it's published.
N/A
Update the redjubjub to its next release.
Keep pointing to the commit, but that should be avoided
Leftover from #2351
The text was updated successfully, but these errors were encountered:
Duplicate of #2952.
Sorry, something went wrong.
No branches or pull requests
Motivation
In #2351 we are temporarily pointing to a commit in the main branch of redjubjub. We should point to the next release after it's published.
Specifications
N/A
Designs
N/A
Solution
Update the redjubjub to its next release.
Alternatives
Keep pointing to the commit, but that should be avoided
Related Work
Leftover from #2351
The text was updated successfully, but these errors were encountered: