Skip to content

Conversation

patchback[bot]
Copy link

@patchback patchback bot commented Jun 2, 2025

This is a backport of PR #13472 as merged into main (80dfa2d).

It is no longer.

It is no longer. (cherry picked from commit 80dfa2d)
@nicoddemus nicoddemus enabled auto-merge (squash) June 2, 2025 19:16
@nicoddemus nicoddemus merged commit cc5ceed into 8.4.x Jun 2, 2025
31 checks passed
@nicoddemus nicoddemus deleted the patchback/backports/8.4.x/80dfa2db8e6157bf706c2f2656ba0fd7bc13195a/pr-13472 branch June 2, 2025 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants