Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

v7.8.1 #3887

Merged
merged 1 commit into from
Mar 16, 2023
Merged

v7.8.1 #3887

merged 1 commit into from
Mar 16, 2023

Conversation

julien-nc
Copy link
Contributor

@julien-nc julien-nc commented Mar 15, 2023

v7.8.1 (2023-03-15)

Full Changelog

🐛 Fixed bugs

Closed pull requests

@julien-nc
Copy link
Contributor Author

Maybe let's wait for #3888

Signed-off-by: Julien Veyssier <[email protected]>
@julien-nc
Copy link
Contributor Author

It looks ready to me.

@nickvergessen
Copy link
Contributor

So redo changelog and hit it?

@julien-nc
Copy link
Contributor Author

@nickvergessen Already done, I just hadn't updated the PR's first comment.

@julien-nc julien-nc merged commit e190375 into master Mar 16, 2023
@julien-nc julien-nc deleted the v7.8.1 branch March 16, 2023 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
3. to review Waiting for reviews
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants