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