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.

Sign up for GitHub

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

Jump to bottom

Update to latest core #1467

Merged
merged 2 commits into from
Aug 1, 2023
Merged

Update to latest core #1467

merged 2 commits into from
Aug 1, 2023

Conversation

rorbech
Copy link
Contributor

@rorbech rorbech commented Jul 31, 2023

Closes #1440

@cla-bot cla-bot bot added the cla: yes label Jul 31, 2023
clementetb
clementetb approved these changes Jul 31, 2023
View reviewed changes
Copy link
Contributor

@clementetb clementetb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Happy once CI is happy

CHANGELOG.md Show resolved Hide resolved
@rorbech rorbech merged commit 80313b9 into releases Aug 1, 2023
1 check passed
@rorbech rorbech deleted the cr/core-update branch August 1, 2023 10:12
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 14, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@clementetb clementetb clementetb approved these changes

@cmelchior cmelchior Awaiting requested review from cmelchior

Assignees

@rorbech rorbech

Labels
cla: yes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@rorbech @cmelchior @clementetb