From 51ddb260f58442ff013a331c3ebe517d0586f65c Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Fri, 22 Mar 2019 11:10:43 -0400
Subject: bump submodules

---
 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 ef2d7f9e7..9dc70c73b 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit ef2d7f9e7e9530f05fb3b2362db787a2885c59b4
+Subproject commit 9dc70c73be0d6a35c09136d65b5f21b75b77d273
-- 
cgit v1.2.3