misc: Merge branch 'release-staging-v23-1' into develop

This is just a stanity check to ensure all changes are in the `develop`
branch.

Change-Id: I7f6e6709338ae9a386bc7527d5cf4daf10d768c2

src/base/version.cc

@@ -32,6 +32,6 @@ namespace gem5
 /**
  * @ingroup api_base_utils
  */
-const char *gem5Version = "DEVELOP-FOR-23.1";
+const char *gem5Version = "23.1.0.0";
 
 } // namespace gem5