small tweak for version getter #137

Closed
muellerr wants to merge 0 commits from small_version_getter_tweak into develop
No description provided.