Ryan Mulligan f78d6a5535 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"		2018-02-26 19:25:38 -08:00
..
default.nix	jgmenu: 0.8 -> 0.8.2	2018-02-26 19:25:38 -08:00