small tweak for version getter #137

Closed
muellerr wants to merge 0 commits from small_version_getter_tweak into develop
Owner
No description provided.
muellerr added 1 commit 2023-03-15 12:18:31 +01:00
muellerr closed this pull request 2023-03-15 12:18:35 +01:00

Pull request closed

Sign in to join this conversation.
No description provided.