1 2 3 4 5
# Autogenerated by devscripts/update-version.py __version__ = '2022.07.18' RELEASE_GIT_HEAD = '135f05ef6'