Merge commit '2dbb44e28d2e5b3c72ddbbd6f436d41f75031a22' into cluster

This commit is contained in:
Steinar H. Gunderson
2025-12-24 15:17:18 +01:00
4 changed files with 47 additions and 27 deletions
+1
View File
@@ -308,6 +308,7 @@ class Worker {
}
TimePoint elapsed() const;
TimePoint elapsed_time() const;
LimitsType limits;