Skip to content

Conversation

@feidens
Copy link
Member

@feidens feidens commented Mar 3, 2021

No description provided.

@feidens feidens linked an issue Mar 3, 2021 that may be closed by this pull request
@feidens feidens requested review from JanBobolz and rheitjoh March 3, 2021 14:11
Copy link
Member

@JanBobolz JanBobolz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Alright. Normally, I'd expect a version bump, but I guess in this case, nothing has changed code-wise, we've "just" done build script stuff. Feel free to merge

@feidens feidens merged commit 3ceae3b into main Mar 3, 2021
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.

Fix github releases

4 participants