misc: Merge branch 'stable' into 'develop'

This ensures all commits in v23.0 are now in the develop branch. Change-Id: I791346115dd123f3541a3c8060482e00cf4dbfb5
2023-07-10 12:24:27 -07:00
parent 9b9dc09f6e 1db206b9d3
commit 54501c3e2b
10 changed files with 151 additions and 20 deletions
--- a/src/base/version.cc
+++ b/src/base/version.cc
@@ -32,6 +32,6 @@ namespace gem5
 /**
 * @ingroup api_base_utils
 */
-const char *gem5Version = "[DEVELOP-FOR-23.0]";
+const char *gem5Version = "23.0.0.0";

 } // namespace gem5