From e1a18e3271a2140cb5cfd33f036e502b617c5972 Mon Sep 17 00:00:00 2001
From: Oskar Grunning <oskargrunning@gmail.com>
Date: Tue, 19 Feb 2019 10:02:01 +0100
Subject: [PATCH] Update lean prompt

---
 modules/prompt/external-themes/lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index 3cf61b2..f67f414 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit 3cf61b240d0bb0e3d1c517d2324534ddbf3614e8
+Subproject commit f67f414e4c8317811fdd6c4f93b4cfe7962ede13