From 180cc59d64948a5b59a17db27904bfccabd20ed4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 22 Jan 2022 13:49:18 +0100
Subject: [PATCH] chore: update Lake to
 https://github.com/leanprover/lake/pull/48/files

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

diff --git a/src/lake b/src/lake
index 521e88e554..5b9efd5890 160000
--- a/src/lake
+++ b/src/lake
@@ -1 +1 @@
-Subproject commit 521e88e55496b7369956b9077dc38d9fee12ace8
+Subproject commit 5b9efd58905758f38153fc1f2066192b5c1862ce