Closed bschmalhofer closed 2 years ago
Releases should be tagged in the GitHub git repository.
This is actually an enhancement of the OPMS. Closing here as it is not directly related to FAQ.
Releases should be tagged in the GitHub git repository.