# Autogenerated by devscripts/update-version.py
__version__ = '2022.07.18'
RELEASE_GIT_HEAD = '135f05ef6'