diff --git a/caravel b/caravel
index 7a8e96c..02393a2 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 7a8e96cfad2222d46e02c777a97761e70824813a
+Subproject commit 02393a2ffd5676ce7c16fcba89e668f94d58f21f