updated caravel to 8c
diff --git a/caravel b/caravel index 20308f5..0f58ad0 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 20308f5d46605cb0e0799a0f26142e729bbaaebe +Subproject commit 0f58ad0372274a80fdf102638d2d13784850d08b
