# Autogenerated by devscripts/update-version.py

__version__ = '2023.10.13'

RELEASE_GIT_HEAD = 'b634ba742d8f38ce9ecfa0546485728b0c6c59d1'

VARIANT = None

UPDATE_HINT = None

CHANNEL = 'stable'