diff --git a/External/Harmony b/External/Harmony
index db5fbd8..7234d66 160000
--- a/External/Harmony
+++ b/External/Harmony
@@ -1 +1 @@
-Subproject commit db5fbd829ac5aa6e7e249eb9fabf07bbb75fabd9
+Subproject commit 7234d6626a49e56ddceaaec0c04cc4f4f43b572c