Skip to content

Conversation

@messense
Copy link
Contributor

@sunfishcode
Copy link
Owner

Thanks! The CI failure here is an unrelated issue.

@sunfishcode sunfishcode merged commit ac01b67 into sunfishcode:main Oct 20, 2022
sunfishcode pushed a commit that referenced this pull request Nov 2, 2022
sunfishcode pushed a commit that referenced this pull request Nov 2, 2022
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.

2 participants