From e13600b2dfd3a3573a79fc64ceb55f791ba3aee4 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 31 Jan 2017 20:49:28 -0500
Subject: Bump submodule for better travis timing logs

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

(limited to 'etc/coq-scripts')

diff --git a/etc/coq-scripts b/etc/coq-scripts
index e5a6a33db..70b32dd2d 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit e5a6a33dbd182a659dba531a5e6a97b8ff89cd70
+Subproject commit 70b32dd2da94b945f4e98064f2fbf78ae0755e66
-- 
cgit v1.2.3