From f54dea25242ffde22ad737b8b6fbe4e4cd72d417 Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@gnu.org>
Date: Sun, 2 Sep 2018 20:00:57 -0400
Subject: [emacs] update 5 drones

lib/dante                   master                     1.4-70-ge35bac2
lib/lcr                     master                     1.1
lib/magit                   master                     2.13.0-204-g852c7593
lib/org                     master                    release_9.1.14-908-gf1269e4c1
lib/proof-site              master                    v4.4-203-g65d69a7a
---
 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 6aeacf5..65d69a7 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa
+Subproject commit 65d69a7a6a4a5aa5518fd55671d58b0b4a350fe2
-- 
cgit v1.2.3-60-g2f50