Minor fixes found during release (#3541)

* Change the jenkins/branch.name file It now contains `b0.73` in this branch. * Fix the version: 0.73.0 That will change the SHA1 sum in the RPM label - sigh.
distributed-system-analysis · Aug 30, 2023 · 7bd2a1a · 7bd2a1a
1 parent 6da0cfc
commit 7bd2a1a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/agent/VERSION b/agent/VERSION
@@ -1 +1 @@
-0.73
+0.73.0
diff --git a/jenkins/branch.name b/jenkins/branch.name
@@ -1 +1 @@
-main
+b0.73