From 5c9fbd6a88b922248c028919ced423661b238f6a Mon Sep 17 00:00:00 2001
From: lovetox <philipp@hoerist.com>
Date: Thu, 30 Apr 2020 19:57:52 +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 3d079c1..8406c07 100644
--- a/pgp/manifest.ini
+++ b/pgp/manifest.ini
@@ -1,7 +1,7 @@
 [info]
 name: PGP
 short_name: pgp
-version: 1.3.0
+version: 1.3.1
 description: PGP encryption as per XEP-0027.
 authors: Philipp Hörist <philipp@hoerist.com>
 homepage: https://dev.gajim.org/gajim/gajim-plugins/wikis/pgpplugin