Merge pull request #213381 from romildo/upd.xfce4-whiskermenu-plugin

xfce.xfce4-whiskermenu-plugin: 2.7.1 -> 2.7.2
This commit is contained in:
Nick Cao 2023-02-01 10:11:47 +08:00 committed by GitHub
commit 7425329707
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,10 +3,10 @@
mkXfceDerivation {
category = "panel-plugins";
pname = "xfce4-whiskermenu-plugin";
version = "2.7.1";
version = "2.7.2";
rev-prefix = "v";
odd-unstable = false;
sha256 = "sha256-aN8PwH5YIbjiyS5tTcU2AU4LAYC2tBStDxhCXi/dvkQ=";
sha256 = "sha256-yp8NpBVgqEv34qmDMKPdy53awgSLtYfeaw1JrxENFps=";
nativeBuildInputs = [ cmake ];