# Autogenerated by devscripts/update-version.py

__version__ = '2023.07.06'

RELEASE_GIT_HEAD = 'b532a3481046e1eabb6232ee8196fb696c356ff6'

VARIANT = None

UPDATE_HINT = None

CHANNEL = 'stable'