diff --git a/version.py b/version.py index 51da766ba9..cdf26323f6 100755 --- a/version.py +++ b/version.py @@ -7,7 +7,7 @@ from datetime import datetime, timezone # To be updated every time we start a new major.minor version. -major_minor = "1.2" +major_minor = "1.3" # Default to 'dev' builds BUILD_TYPE = os.environ.get("BUILD_TYPE") or "dev"