2021-11-29 17:00:02 +00:00
|
|
|
# Autogenerated by devscripts/update-version.py
|
2012-11-29 15:51:55 +00:00
|
|
|
|
2023-07-06 18:57:59 +00:00
|
|
|
__version__ = '2023.07.06'
|
2021-11-29 17:00:02 +00:00
|
|
|
|
2023-07-06 18:57:59 +00:00
|
|
|
RELEASE_GIT_HEAD = 'b532a3481046e1eabb6232ee8196fb696c356ff6'
|
2022-07-29 15:03:01 +00:00
|
|
|
|
|
|
|
VARIANT = None
|
|
|
|
|
|
|
|
UPDATE_HINT = None
|
2023-03-03 17:06:11 +00:00
|
|
|
|
|
|
|
CHANNEL = 'stable'
|