Skip to content

Conversation

@JeffBezanson
Copy link
Member

From #46935

@KristofferC
Copy link
Member

I'll just merge this and let the CI run on the backport branch.

@KristofferC KristofferC merged commit 3562f03 into release-1.8 Oct 27, 2022
@KristofferC KristofferC deleted the jb/backport46935 branch October 27, 2022 20:16
@DilumAluthge
Copy link
Member

Was it intentional that this PR was merged into release-1.8 (instead of backports-release-1.8)?

@KristofferC
Copy link
Member

Nope. My bad. I'll revert there and put it on the backport branch.

KristofferC added a commit that referenced this pull request Oct 28, 2022
KristofferC added a commit that referenced this pull request Oct 28, 2022
KristofferC pushed a commit that referenced this pull request Oct 28, 2022
…46935) (#47357)

(cherry picked from commit 6443a46)
(cherry picked from commit 3562f03)
KristofferC pushed a commit that referenced this pull request Oct 28, 2022
…46935) (#47357)

(cherry picked from commit 6443a46)
(cherry picked from commit 3562f03)
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.

4 participants