update to newest version of caravel
diff --git a/caravel b/caravel index 254543e..8fd3415 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 254543ed8ce7a337dbe889b8f720900662c367b8 +Subproject commit 8fd3415729ce179d956d67dbe52496b96db4cce3