Auto updated submodule references
diff --git a/caravel b/caravel index cda6c3c..5712871 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit cda6c3ca1158b495f002bf90860941c3a9af1784 +Subproject commit 5712871d27c08900d18edc72a7f534cc8be1b2dd