Skip to content

Conversation

@vorburger
Copy link
Contributor

see #1452

Copy link
Owner

@itzg itzg left a comment

Choose a reason for hiding this comment

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

Seems a bit extraneous to have to explain VERSION with potentially every server variant, but if that bit helps then let's go with it.

@itzg itzg merged commit 63a884e into itzg:master Apr 2, 2022
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.

2 participants