[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

diff --git a/.gitmodules b/.gitmodules
index eb57246..b484d5a 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -95,7 +95,7 @@
 [submodule "geiser"]
        path = lib/geiser
        url = git@gitlab.com:jaor/geiser.git
-       info-path = doc/
+       info-path = doc
        load-path = elisp
        build-step = ./autogen.sh
        build-step = ./configure
@@ -112,7 +112,7 @@
 [submodule "guix"]
        path = lib/guix
        url = git@github.com:alezost/guix.el.git
-       info-path = doc/
+       info-path = doc
        load-path = elisp
        build-step = ./autogen.sh
        build-step = ./configure

diff --git a/lib/helm b/lib/helm
index d27efee..cfa340c 160000 (submodule)
--- 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 (submodule)
--- 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 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit ebb55c998867fd13f8767a52a9542447347f7dc1
+Subproject commit f7cc8f1f76baf5e517e51f1db47510ed605064e8