From 17d64dfa3b79688e09748a7974090f0780838506 Mon Sep 17 00:00:00 2001
From: cr6git <quark6@protonmail.com>
Date: Thu, 19 Oct 2017 19:07:39 +0200
Subject: [PATCH] jgmenu: update to 0.7.2 (#8316)

---
 srcpkgs/jgmenu/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/jgmenu/template b/srcpkgs/jgmenu/template
index 59edc449300..975a7b9e4e1 100644
--- a/srcpkgs/jgmenu/template
+++ b/srcpkgs/jgmenu/template
@@ -1,6 +1,6 @@
 # Template file for 'jgmenu'
 pkgname=jgmenu
-version=0.7.1
+version=0.7.2
 revision=1
 build_style=gnu-makefile
 make_use_env=yes
@@ -14,4 +14,4 @@ short_desc="Small X11 menu intended to be used with openbox and tint2"
 homepage="https://www.github.com/johanmalm/jgmenu"
 license="GPL-2"
 distfiles="https://www.github.com/johanmalm/jgmenu/archive/v${version}.tar.gz"
-checksum=a7424173dcb8d66fc978e1162fe5ee25977b891dd370404569bb213823711d82
+checksum=256b8cc01d792b4517120a92aee373f540ba6a2b7a684c0dbc301119a3a21e2b