From cde42774d185ca3c11086061efb5e42bd0902e98 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Sat, 24 Feb 2018 19:04:18 -0500
Subject: git submodule update --remote --recursive

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

(limited to 'etc')

diff --git a/etc/coq-scripts b/etc/coq-scripts
index b8e11b473..7bd683da1 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit b8e11b47376550ffd85ff7736dd45adcd40b384a
+Subproject commit 7bd683da1fac8b5eb42de1e44a3274db4fd0ce41
-- 
cgit v1.2.3