Bump etc/coq-scripts from bf7754a to fdfd924 (#2025)

dependabot[bot] · web-flow · commit 96c89c2de18f · 2025-03-04T22:19:40.000Z
Bumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `bf7754a` to `fdfd924`. - [Commits](JasonGross/coq-scripts@bf7754a...fdfd924) --- updated-dependencies: - dependency-name: etc/coq-scripts dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
diff --git a/etc/coq-scripts b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit bf7754abdf059f751312560715220a65420ec73d
+Subproject commit fdfd924606b9b76d427f5fbc802b61052ddd8260
