From 3155449d99008f61861221224e67911ffc04697c Mon Sep 17 00:00:00 2001
From: Andrei Litvin <andrei@andy314.com>
Date: Tue, 5 Oct 2021 13:01:59 -0400
Subject: [PATCH] Pull cirque repo (#10233)

---
 third_party/cirque/repo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/third_party/cirque/repo b/third_party/cirque/repo
index 512c60ffba9a65..a1229f065a2f94 160000
--- a/third_party/cirque/repo
+++ b/third_party/cirque/repo
@@ -1 +1 @@
-Subproject commit 512c60ffba9a65c36ecb850a7fb3a985d1b38451
+Subproject commit a1229f065a2f94e64072a678415ae49f90c2d058