From 15d35ed8d16c7a9c5aabf1e43895494ec49c9717 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20H=C3=B6rist?= <philipp@hoerist.com>
Date: Sat, 16 Mar 2019 22:55:16 +0100
Subject: [PATCH] [acronyms] Update manifest.ini

---
 acronyms_expander/manifest.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/acronyms_expander/manifest.ini b/acronyms_expander/manifest.ini
index bccb32a..16a68ef 100644
--- a/acronyms_expander/manifest.ini
+++ b/acronyms_expander/manifest.ini
@@ -1,7 +1,7 @@
 [info]
 name: Acronyms Expander
 short_name: acronyms_expander
-version: 1.2.4
+version: 1.2.5
 description: Replaces acronyms (or other strings) with given expansions/substitutes.
 authors: Philipp Hörist <philipp@hoerist.com>
  Mateusz Biliński <mateusz@bilinski.it>
-- 
GitLab