diff --git a/third_party/cirque/repo b/third_party/cirque/repo
index 144767dd06f1f8..262ea772466722 160000
--- a/third_party/cirque/repo
+++ b/third_party/cirque/repo
@@ -1 +1 @@
-Subproject commit 144767dd06f1f8549ffaa4beb06dadf71621c28d
+Subproject commit 262ea7724667229f0d21d6a1c1e96d90415f0906