From 45927aa8a2da3119d88cb8f60df978efae2e01f9 Mon Sep 17 00:00:00 2001
From: Oskar Grunning <oskargrunning@gmail.com>
Date: Fri, 22 Feb 2019 16:50:24 +0100
Subject: [PATCH] [prompt] lean: Update submodule

Closes #332
---
 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