diff --git a/third_party/cirque/repo b/third_party/cirque/repo
index 15a12c3311d68e..a4a96566f12add 160000
--- a/third_party/cirque/repo
+++ b/third_party/cirque/repo
@@ -1 +1 @@
-Subproject commit 15a12c3311d68e97d8876515cb92314b8720950f
+Subproject commit a4a96566f12addc157fa231f849fa3d911cfb850