Skip to content

Conversation

mjrussell
Copy link
Member

Fixes #32

@mjrussell
Copy link
Member Author

@i-am-the-slime mind taking a quick look at this?

@mjrussell mjrussell merged commit 545ff01 into main Jun 5, 2022
@mjrussell mjrussell deleted the purs-15 branch June 5, 2022 15:35
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.

Update to 0.15 and cut a new release

2 participants