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
As we order the store this way, we must compare this way, otherwise we'll sometimes fail to update the cliff validator when we should have.
Caught by randomized simulation.
See bba041c#diff-dfc120ab4c4b55ca9500442fe7d7287fR315
Note also in that diff the defensive panic added (which we should have had in the first place).
The text was updated successfully, but these errors were encountered:
Let's fix this in a single PR with only the fix against the release branch, including a testcase isolating the issue.
Sorry, something went wrong.
Fixed via #2077
alexanderbez
cwgoes
No branches or pull requests
As we order the store this way, we must compare this way, otherwise we'll sometimes fail to update the cliff validator when we should have.
Caught by randomized simulation.
See bba041c#diff-dfc120ab4c4b55ca9500442fe7d7287fR315
Note also in that diff the defensive panic added (which we should have had in the first place).
The text was updated successfully, but these errors were encountered: