Skip to content

Release 13.3.0#338

Merged
Theodus merged 3 commits intomainfrom
release
May 30, 2023
Merged

Release 13.3.0#338
Theodus merged 3 commits intomainfrom
release

Conversation

@Theodus
Copy link
Member

@Theodus Theodus commented May 30, 2023

Release Notes

Theodus added 3 commits May 30, 2023 12:35
There are conditions where this window is too long, causing the contract
to revert with the message "OLD". Further investigation is needed.
@Theodus Theodus merged commit be08507 into main May 30, 2023
@Theodus Theodus deleted the release branch May 30, 2023 17:37
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.

1 participant