From fda74f52b706447243a113efa4c768c80ead09de Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sat, 22 Dec 2018 10:41:51 -0500
Subject: [emacs] Update 3 drones

Update helm       to v3.0-75-gcfa340c5
Update org        to release_9.1.14-1105-g495c7c6a5
Update proof-site to v4.4-225-gf7cc8f1f
---
 lib/helm       | 2 +-
 lib/org        | 2 +-
 lib/proof-site | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/helm b/lib/helm
index d27efee..cfa340c 160000
--- a/lib/helm
+++ b/lib/helm
@@ -1 +1 @@
-Subproject commit d27efee1002e6afc31b0fea9e4c14fe6330d8437
+Subproject commit cfa340c545316c6913b1f9fa9ef24a0b4fb2473d
diff --git a/lib/org b/lib/org
index 908b551..495c7c6 160000
--- a/lib/org
+++ b/lib/org
@@ -1 +1 @@
-Subproject commit 908b55124cb1abdcb3b7b6e3276e0ac22c86d254
+Subproject commit 495c7c6a5774a4d3035c582a3b4c95eb04e83dd5
diff --git a/lib/proof-site b/lib/proof-site
index ebb55c9..f7cc8f1 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit ebb55c998867fd13f8767a52a9542447347f7dc1
+Subproject commit f7cc8f1f76baf5e517e51f1db47510ed605064e8
-- 
cgit v1.2.3-60-g2f50