Skip to content

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Mar 30, 2023

Proposed changelog:

What's Changed

New Contributors

@jeqo jeqo requested a review from ivanyu March 30, 2023 20:24
@jeqo jeqo marked this pull request as ready for review March 30, 2023 20:25
@jeqo jeqo requested review from a team as code owners March 30, 2023 20:25
@ivanyu
Copy link
Collaborator

ivanyu commented Mar 31, 2023

Before merging this, it would be great to merge #86 (so that the new release README has the fixed doc)

@ivanyu ivanyu mentioned this pull request Mar 31, 2023
@ivanyu ivanyu merged commit d59d7d8 into master Mar 31, 2023
@ivanyu ivanyu deleted the release-1.4.0 branch March 31, 2023 04:47
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.

3 participants