From f18f187e1bb975ea0d072937fb2024b93ef7b9e3 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 13 Jun 2022 17:09:23 +0000
Subject: [PATCH] Bump etc/coq-scripts from `0ca86bb` to `d85c149` (#44)

---
 etc/coq-scripts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/coq-scripts b/etc/coq-scripts
index 0ca86bb99..d85c1497e 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 0ca86bb9968a9da7515cabe6e146d6ebf00ab2f3
+Subproject commit d85c1497e1d864b24f9503fe157418a084edfc05