From: Amin Bandali <bandali@gnu.org>
Date: Thu, 20 Dec 2018 14:20:40 +0000 (-0500)
Subject: [emacs] update 4 drones
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/commitdiff_plain/a416ea9384a7da344b030bf4389808297b782e36?hp=a416ea9384a7da344b030bf4389808297b782e36

[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
---