Updating hydra

diff --git a/hydra b/hydra
index 890dc0d6ee0f9f9dacd408267767bc3bd8ec821a..a3472bab0dd6ca83884d95e1831eb9cd57f6f1bc 160000 (submodule)
--- a/hydra
+++ b/hydra
@@ -1 +1 @@
-Subproject commit 890dc0d6ee0f9f9dacd408267767bc3bd8ec821a
+Subproject commit a3472bab0dd6ca83884d95e1831eb9cd57f6f1bc