Skip to content

Conversation

notgull
Copy link
Member

@notgull notgull commented Jun 4, 2023

@notgull notgull requested a review from john01dav as a code owner June 4, 2023 22:58
@notgull notgull requested review from daxpedda, ids1024 and jackpot51 June 4, 2023 22:59
@notgull
Copy link
Member Author

notgull commented Jun 4, 2023

I don't think that I've missed anything; I also don't think any of the pending issues are so bad that they should stop a new release.

cc this

@notgull notgull merged commit 68ec5a5 into master Jun 4, 2023
@notgull notgull deleted the notgull/next branch June 4, 2023 23:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants