Skip to content

Conversation

@nickvergessen
Copy link
Member

Signed-off-by: Joas Schilling [email protected]

@ChristophWurst ChristophWurst enabled auto-merge May 17, 2023 13:20
@ChristophWurst ChristophWurst merged commit 79378a3 into stable27 May 17, 2023
@ChristophWurst ChristophWurst deleted the update-stable27-target-versions branch May 17, 2023 15:55
@blizzz blizzz mentioned this pull request May 24, 2023
10 tasks
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.

3 participants