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