From 0db02c39118fc61facaf0ca90473b59eb14db080 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 30 Nov 2022 16:59:08 -0800
Subject: [PATCH] chore: update Lake

---
 src/lake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lake b/src/lake
index 5724ef636b..051cf403f1 160000
--- a/src/lake
+++ b/src/lake
@@ -1 +1 @@
-Subproject commit 5724ef636b1fcb0e1565e260d5d153e7e5d62746
+Subproject commit 051cf403f12da80a44802810d9098f2bbed61d93