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