diff --git a/External/Harmony b/External/Harmony
index 09922a6..2d720b1 160000
--- a/External/Harmony
+++ b/External/Harmony
@@ -1 +1 @@
-Subproject commit 09922a6124667675b2c79d9fe8c79e004237580d
+Subproject commit 2d720b1c9973c89d09423bc10d52ea98c314dd14