# Autogenerated by devscripts/update-version.py
__version__ = '2023.10.07'
RELEASE_GIT_HEAD = '377e85a1797db9e98b78b38203ed9d4ded229991'
VARIANT = None
UPDATE_HINT = None
CHANNEL = 'stable'