diff --git a/caravel b/caravel
index e80f0ac..6c9510b 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit e80f0ac8b6f74eeed0c81668728e033adba4fa16
+Subproject commit 6c9510b578d9ffb1420d7d2c3a1bc988948f5283