v9

rgcjonas@gmail.com

503c5074 · Changed default placement to "panel" since it is the most popular and least buggy. · Oct 03, 2013

First release with Gnome 3.10 support, dropped 3.6

Also first release to be tagged and signed.