From 77067d0b4fadd31151e6e3cc75e32736e40f569a Mon Sep 17 00:00:00 2001
From: Mattia Astorino <astorino.mattia@gmail.com>
Date: Mon, 29 Oct 2018 15:46:14 +0100
Subject: [PATCH] update to 2.5.1

---
 extensions/defaults.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/defaults.json b/extensions/defaults.json
index 0c0f7be..94773e4 100644
--- a/extensions/defaults.json
+++ b/extensions/defaults.json
@@ -116,7 +116,7 @@
     }
   },
   "changelog": {
-    "lastversion": "2.5.0"
+    "lastversion": "2.5.1"
   },
   "icons": {
     "theme": {