Version 3.9.2 ============= Plugins: - Fix priority handling - Update for gnome-desktop API change