Skip to content
This repository was archived by the owner on Jan 24, 2022. It is now read-only.

Conversation

jonathanpallant
Copy link
Contributor

Includes stack unwinding through Reset fix #337.

@jonathanpallant jonathanpallant requested a review from a team as a code owner November 24, 2021 10:59
Copy link
Member

@adamgreig adamgreig left a comment

Choose a reason for hiding this comment

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

LGTM, thanks! Are you OK to tag and publish it after merging?

bors merge

@bors
Copy link
Contributor

bors bot commented Nov 24, 2021

@bors bors bot merged commit b145dad into master Nov 24, 2021
@bors bors bot deleted the release_0.7.1 branch November 24, 2021 22:37
@jonathanpallant
Copy link
Contributor Author

Done!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants