jgmenu: update to 0.7.2 (#8316)

This commit is contained in:
cr6git 2017-10-19 19:07:39 +02:00 committed by Alessio Sergi
parent 64e73d049b
commit 17d64dfa3b

View file

@ -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