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

Merge release 7.38-rc-2 into main #934

Merged
merged 15 commits into from
May 5, 2023
Merged

Conversation

ashiagr
Copy link
Contributor

@ashiagr ashiagr commented May 5, 2023

This brings hotfixes #930, #931 into main.

There was a merge conflict in 1dba064, @mchowning can you check if I've correctly resolved it?

@ashiagr ashiagr requested a review from a team as a code owner May 5, 2023 08:22
Copy link
Contributor

@mchowning mchowning left a comment

Choose a reason for hiding this comment

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

Thanks for wrangling this @ashiagr ! Merge generally looks good, I only noticed a couple of minor issues:

  1. We had an extra log message at one place, so I pushed 5eb5497 to remove the old one.
  2. I think the automatic merge put the changelog entries in the wrong order. Fixed in 12e1f74.

@mchowning mchowning enabled auto-merge May 5, 2023 10:56
@mchowning mchowning merged commit 6b57033 into main May 5, 2023
@mchowning mchowning deleted the merge/release-7.38-into-main branch May 5, 2023 11:23
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