Skip to content

Backport changelog update to main#675

Merged
bors[bot] merged 1 commit intomainfrom
sv/backport-changelog-fix
Jan 5, 2023
Merged

Backport changelog update to main#675
bors[bot] merged 1 commit intomainfrom
sv/backport-changelog-fix

Conversation

@syvb
Copy link
Contributor

@syvb syvb commented Jan 4, 2023

This update to the changelog didn't get pushed anywhere due to a release script failure.

@syvb syvb force-pushed the sv/backport-changelog-fix branch from d674b1e to 9bea485 Compare January 5, 2023 17:25
@syvb syvb requested a review from epgts January 5, 2023 17:25
@syvb
Copy link
Contributor Author

syvb commented Jan 5, 2023

bors r+

@bors bors bot merged commit b14452c into main Jan 5, 2023
@bors
Copy link
Contributor

bors bot commented Jan 5, 2023

Build succeeded:

@syvb syvb deleted the sv/backport-changelog-fix branch January 5, 2023 18:36
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