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

Move changelog entry for #1810 #1887

Merged
merged 1 commit into from
Aug 24, 2021
Merged

Move changelog entry for #1810 #1887

merged 1 commit into from
Aug 24, 2021

Conversation

arminru
Copy link
Member

@arminru arminru commented Aug 24, 2021

This slipped into the wrong section when it was merged yesterday.

@arminru arminru added the editorial Editorial changes only (typos, changelog, ...). No content-related changes of any kind. label Aug 24, 2021
@arminru arminru requested review from a team August 24, 2021 07:10
@arminru arminru enabled auto-merge (squash) August 24, 2021 07:10
@arminru arminru merged commit 5ea7c93 into main Aug 24, 2021
@jsuereth jsuereth deleted the changelog-1810 branch December 8, 2021 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial Editorial changes only (typos, changelog, ...). No content-related changes of any kind.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants