Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Backport of PR #10739 to 7.2.x branch. PR created by backport workflow.

@The-Compiler The-Compiler reopened this Feb 15, 2023
@The-Compiler The-Compiler enabled auto-merge (squash) February 15, 2023 14:08
@The-Compiler
Copy link
Member

Looks like RTD had a hiccup, let's try this again...

auto-merge was automatically disabled February 15, 2023 14:14

Pull request was closed

@The-Compiler The-Compiler reopened this Feb 15, 2023
@The-Compiler The-Compiler enabled auto-merge (squash) February 15, 2023 14:15
@The-Compiler The-Compiler merged commit 779a87a into 7.2.x Feb 15, 2023
@The-Compiler The-Compiler deleted the backport-10739-to-7.2.x branch February 15, 2023 15:07
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.

1 participant