resources: Update MongoDB query to boost version 24.1

gem5 · Dec 10, 2024 · 33586b1 · 33586b1
1 parent e6bf22f
commit 33586b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gem5.config.json b/gem5.config.json
@@ -122,5 +122,5 @@
             }
         }
     },
-    "gem5_version": "24.0"
+    "gem5_version": "24.1"
 }