From 7d211da5a8ffcb421987c58ef0c179d7107daee2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20H=C3=B6rist?= <philipp@hoerist.com>
Date: Tue, 24 Apr 2018 19:45:43 +0200
Subject: [PATCH] [pgp] Update manifest.ini

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

diff --git a/pgp/manifest.ini b/pgp/manifest.ini
index 6256108..90f0adb 100644
--- a/pgp/manifest.ini
+++ b/pgp/manifest.ini
@@ -1,7 +1,7 @@
 [info]
 name: PGP
 short_name: PGP
-version: 1.2.4
+version: 1.2.5
 description: PGP encryption as per XEP-0027
 authors: Philipp Hörist <philipp@hoerist.com>
 homepage: https://dev.gajim.org/gajim/gajim-plugins/wikis/pgpplugin