Update problem-specifications

senekor · senekor · commit 71115450a6cd · 2025-07-15T22:57:58.000+02:00
diff --git a/bin/checkout_pinned_problem_specifications_commit.sh b/bin/checkout_pinned_problem_specifications_commit.sh
@@ -3,7 +3,7 @@ set -euo pipefail
 
 cd "$(git rev-parse --show-toplevel)"
 
-PINNED_COMMIT_HASH="c4043d661357fc2d7ad07b8359adc92d283a5a00"
+PINNED_COMMIT_HASH="9a6acd6f7f462089181251560eebb22eba893272"
 
 dir="$(./bin/get_problem_specifications_dir.sh)"
 
