Unfortunately, I messed up the VERSION number change so I'm going to redo the release after this is merged (in particular, the second commit).
Change jenkins/branch.name file: It now contains b0.73 in this branch.
Change agent/VERSION file: in accordance with recent conventions, it now contains 0.73.0. This also "fixes" a problem with container tagging - the real fix is PR #3542, but the three-part version number works around the bug and so we don't need to backport the real fix to this branch.
Unfortunately, I messed up the VERSION number change so I'm going to redo the release after this is merged (in particular, the second commit).
jenkins/branch.namefile: It now containsb0.73in this branch.agent/VERSIONfile: in accordance with recent conventions, it now contains0.73.0. This also "fixes" a problem with container tagging - the real fix is PR #3542, but the three-part version number works around the bug and so we don't need to backport the real fix to this branch.