# Autogenerated by devscripts/update-version.py

__version__ = '2022.07.18'

RELEASE_GIT_HEAD = '135f05ef6'