Skip to content

Conversation

@mergify
Copy link

@mergify mergify bot commented Aug 18, 2024


This is an automatic backport of pull request #12047 done by [Mergify](https://mergify.com).
This is an automatic backport of pull request #12048 done by [Mergify](https://mergify.com).

(cherry picked from commit 0c38622)
(cherry picked from commit 4d59248)
It's been eight years since 28060d5

(cherry picked from commit d3ea758)
(cherry picked from commit 5620dd9)
@michaelklishin michaelklishin added this to the 3.13.7 milestone Aug 18, 2024
@michaelklishin michaelklishin merged commit 9393db1 into v3.13.x Aug 18, 2024
@michaelklishin michaelklishin deleted the mergify/bp/v3.13.x/pr-12048 branch August 18, 2024 20:03
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