Skip to content

Conversation

@wurstbrot
Copy link
Contributor

Is the version update done manually?

@wurstbrot wurstbrot requested a review from J12934 January 28, 2021 11:53
@J12934 J12934 merged commit b0f54d1 into main Jan 28, 2021
@Weltraumschaf Weltraumschaf deleted the update branch July 20, 2023 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants