From f7fddd5fc4d2c8e3314d1158076d6b5386c46d86 Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@gnu.org>
Date: Thu, 30 Aug 2018 17:57:14 -0400
Subject: [emacs] update 4 drones

lib/doom-modeline        master                     0.4.0-6-gac03729
lib/magit                master                     2.13.0-203-g854fb0b0
lib/org                  master                    release_9.1.14-905-gee4dbaff6
lib/proof-site           master                    v4.4-202-g6aeacf58
---
 lib/proof-site | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/proof-site')

diff --git a/lib/proof-site b/lib/proof-site
index 69066bf..6aeacf5 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 69066bf2cb97d6df74a069c3e90155e43353a2a0
+Subproject commit 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa
-- 
cgit v1.2.3-60-g2f50