caravel commit updated
diff --git a/caravel b/caravel
index 860878e..ff960da 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 860878e32b033d76fda7cf6ea7212fa697ef6eee
+Subproject commit ff960da6e06dd9097e7e1152e90f5998235a7882