etc/options

--- a/etc/options	Thu Jan 16 15:38:10 2025 +0100
+++ b/etc/options	Thu Jan 16 16:10:26 2025 +0100
@@ -234,6 +234,9 @@
 option build_schedule_inactive_delay : real = 300.0
   -- "delay removing inactive hosts"
 
+option build_schedule_history : int = 150
+  -- "length of history relevant for scheduling (in days)"
+
 
 section "Build Manager"