From 5c3cded3fab56baa60874f4e1efd14155cec587f Mon Sep 17 00:00:00 2001 From: Sebastian Weddmark Olsson Date: Tue, 26 Sep 2023 23:46:21 +0200 Subject: [PATCH] Release 1.2.0 --- edts-pkg.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/edts-pkg.el b/edts-pkg.el index 369b4eb2..fd937dae 100644 --- a/edts-pkg.el +++ b/edts-pkg.el @@ -22,7 +22,7 @@ ;; You should have received a copy of the GNU Lesser General Public License ;; along with EDTS. If not, see . -(define-package "edts" "1.1.0" "Erlang Development Tool Suite" +(define-package "edts" "1.2.0" "Erlang Development Tool Suite" '((auto-complete "20201213.1255") (auto-highlight-symbol "20211106.638") (dash "20210609.1330")