From 1075743a00d1d1f9d3f41b8c1557665164fab821 Mon Sep 17 00:00:00 2001
From: yunhanw-google <yunhanw@google.com>
Date: Mon, 1 Nov 2021 13:11:55 -0700
Subject: [PATCH] sync with latest cirque (#11279)

---
 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 f174b03ac52d1e..144767dd06f1f8 160000
--- a/third_party/cirque/repo
+++ b/third_party/cirque/repo
@@ -1 +1 @@
-Subproject commit f174b03ac52d1e0b4728bc45576c2fd923750e15
+Subproject commit 144767dd06f1f8549ffaa4beb06dadf71621c28d