From a416ea9384a7da344b030bf4389808297b782e36 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Thu, 20 Dec 2018 09:20:40 -0500
Subject: [emacs] update 4 drones

Update dante      to  1.4-80-g8d5e00d
Update ghub       to v3.1.0
Update helm       to v3.0-71-g03f293db
Update proof-site to v4.4-224-gebb55c99
---
 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 883ce2f..ebb55c9 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 883ce2ff1092003b6341cfebd1d7b2ab31239a41
+Subproject commit ebb55c998867fd13f8767a52a9542447347f7dc1
-- 
cgit v1.2.3-60-g2f50