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

Update changelog with PR4788 changes #4881

Merged
merged 1 commit into from
Feb 26, 2023

Conversation

newhoggy
Copy link
Contributor

No description provided.

@newhoggy newhoggy marked this pull request as ready for review February 13, 2023 10:11
@newhoggy newhoggy force-pushed the newhoggy/update-changelog-for-PR4788 branch 2 times, most recently from 5dbc144 to 6a790aa Compare February 22, 2023 23:19
@newhoggy newhoggy force-pushed the newhoggy/update-changelog-for-PR4788 branch from 6a790aa to 71522f8 Compare February 25, 2023 01:20
@newhoggy
Copy link
Contributor Author

bors r+

iohk-bors bot added a commit that referenced this pull request Feb 25, 2023
4881: Update changelog with PR4788 changes r=newhoggy a=newhoggy



Co-authored-by: John Ky <[email protected]>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Feb 25, 2023

Timed out.

@newhoggy
Copy link
Contributor Author

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Feb 26, 2023

Build succeeded:

@iohk-bors iohk-bors bot merged commit ec57638 into master Feb 26, 2023
@iohk-bors iohk-bors bot deleted the newhoggy/update-changelog-for-PR4788 branch February 26, 2023 11:06
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