From 6485d5182e10f34a315af23029e8e484cc602aed Mon Sep 17 00:00:00 2001 From: "Martin D. Weinberg" Date: Fri, 29 May 2026 12:09:35 -0400 Subject: [PATCH 1/2] Add missing global key --- src/global_key_set.H | 1 + 1 file changed, 1 insertion(+) diff --git a/src/global_key_set.H b/src/global_key_set.H index cfa4a9ef0..2d678d805 100644 --- a/src/global_key_set.H +++ b/src/global_key_set.H @@ -8,6 +8,7 @@ global_valid_keys = { "dbthresh", "time", "dtime", + "maxMindt" "PFbufsz", "NICE", "VERBOSE", From 0f837d1a92c6aab0c7dddc2d8b1ad6557990f4c8 Mon Sep 17 00:00:00 2001 From: Martin Weinberg Date: Fri, 29 May 2026 12:21:08 -0400 Subject: [PATCH 2/2] Potential fix for pull request finding Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- src/global_key_set.H | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/global_key_set.H b/src/global_key_set.H index 2d678d805..c31745af5 100644 --- a/src/global_key_set.H +++ b/src/global_key_set.H @@ -8,7 +8,7 @@ global_valid_keys = { "dbthresh", "time", "dtime", - "maxMindt" + "maxMindt", "PFbufsz", "NICE", "VERBOSE",