From d2891783271044b99965672a9804a8d2dce2824a Mon Sep 17 00:00:00 2001 From: Joseph Angelo Date: Wed, 30 Oct 2019 15:40:52 -0700 Subject: [PATCH] Update check --- c/third_party/check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/c/third_party/check b/c/third_party/check index 32b6c7b2e3..ae60b244bc 160000 --- a/c/third_party/check +++ b/c/third_party/check @@ -1 +1 @@ -Subproject commit 32b6c7b2e3d3a28a25b17e523208da6e0f582c15 +Subproject commit ae60b244bc6c76047407ec3eb5822151d32524d4