pull newer caravel version
diff --git a/caravel b/caravel index f80b2fe..254543e 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit f80b2fea4aa53d68baec2160f6640b9e3b8d86e5 +Subproject commit 254543ed8ce7a337dbe889b8f720900662c367b8
