Skip to content

Conversation

@github-actions
Copy link
Contributor

Backport of #8498 to vs17.2

/cc @JanKrivanek @AR-May

@ghost
Copy link

ghost commented Apr 24, 2023

Hello! I noticed that you're targeting one of our servicing branches. Please consider updating the version.

@JanKrivanek JanKrivanek added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Apr 24, 2023
@Forgind Forgind merged commit 81da5a2 into vs17.2 Apr 26, 2023
@Forgind Forgind deleted the backport/pr-8498-to-vs17.2 branch April 26, 2023 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants