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