Minor Whisker Menu release

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!

Comments are closed.