@juliabackports. Since I have this cherry-picked onto release-0.4 locally, would it help if I submitted a PR against that branch?
—
Reply to this email directly or view it on GitHub.![]()
Sure, with a prominent [release-0.4] and "don't merge me until after 0.4.0" in the title and description respectively
moving the backport pending label to the PR #13235