jgmenu: 0.8 -> 0.8.2
Semi-automatic update. These checks were performed: - built on NixOS - ran `/nix/store/1ggjwr61hd0yd99gra484q1dfwzm4k8r-jgmenu-0.8.2/bin/jgmenu -h` got 0 exit code - ran `/nix/store/1ggjwr61hd0yd99gra484q1dfwzm4k8r-jgmenu-0.8.2/bin/jgmenu --help` got 0 exit code - ran `/nix/store/1ggjwr61hd0yd99gra484q1dfwzm4k8r-jgmenu-0.8.2/bin/jgmenu --version` and found version 0.8.2 - ran `/nix/store/1ggjwr61hd0yd99gra484q1dfwzm4k8r-jgmenu-0.8.2/bin/jgmenu_run --help` got 0 exit code - found 0.8.2 with grep in /nix/store/1ggjwr61hd0yd99gra484q1dfwzm4k8r-jgmenu-0.8.2 - found 0.8.2 in filename of file in /nix/store/1ggjwr61hd0yd99gra484q1dfwzm4k8r-jgmenu-0.8.2 cc "@romildo"
parent
b63297b2
Please register or sign in to comment