From 02a68bea577937124eca71eaa13eb4d59ddff257 Mon Sep 17 00:00:00 2001
From: Matt Hamilton <m@tthamilton.com>
Date: Sun, 11 Dec 2016 09:48:41 -0800
Subject: [PATCH] [prompt] lean: update submodule

Closes #110
---
 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 aed0ef1..3247b1d 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit aed0ef17b4a98e60174fcca0facadec3c8310ec3
+Subproject commit 3247b1d503056b640d674fe75af524259be142c9