Skip to content

Conversation

JanProvaznik
Copy link
Member

Workaround #11492

Context

we pushed 17.13.15 during development mistakenly, so we can't insert it

Changes Made

bump version

@JanProvaznik JanProvaznik requested a review from a team as a code owner February 25, 2025 11:18
@JanProvaznik JanProvaznik enabled auto-merge (squash) February 25, 2025 11:25
@JanProvaznik JanProvaznik requested a review from a team February 25, 2025 11:39
@rainersigwald rainersigwald merged commit 8972960 into vs17.13 Feb 25, 2025
10 checks passed
@rainersigwald rainersigwald deleted the version-insertfix branch February 25, 2025 12:05
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