Correct the contents of the b0.72 jenkings/branch.name file

It was mistakenly committed containing 'main', and it now properly contains 'b0.72'. PBENCH-1160
distributed-system-analysis · May 24, 2023 · bdc741a · bdc741a
1 parent c464a6a
commit bdc741a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jenkins/branch.name b/jenkins/branch.name
@@ -1 +1 @@
-main
+b0.72