Minor Whisker Menu release
Posted on April 4, 2017, under Whisker Menu
Not much to announce here, because there were only two small bugs fixed in my newest Whisker Menu release, version 1.7.2 (and version 2.1.2 for those using GTK+3). Both bugs were related to the category names turning off, so it is an important but small release. Enjoy!