# Autogenerated by devscripts/update-version.py __version__ = '2023.02.17' RELEASE_GIT_HEAD = 'a0a7c0154' VARIANT = None UPDATE_HINT = None CHANNEL = 'stable'