Bump version to 3.12.2

To go along GNOME Shell 3.12.2
Revert "data: Add DesktopNames to the session file"
2014-05-14 11:08:39 +02:00 · 2014-05-14 11:00:48 +02:00
3 changed files with 4 additions and 5 deletions
--- a/6
+++ b/6
@@ -1,8 +1,8 @@
-3.13.1
+3.12.2
 ======
-* add DesktopNames key to the classic session file
 * classic theme: remove rounded corners from tile previews
-* window-list: don't shift message tray on other monitors
+* several fixes and improvements to the window-list
+  (keep button order stable, don't shift message tray on other monitors)
 * auto-move-windows: several fixes and updates for api changes
 * launch-new-instances: updates for api changes
 * updated translations (ja, km)
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.13.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.12.2],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])

 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])
--- a/data/gnome-classic.desktop.in
+++ b/data/gnome-classic.desktop.in
@@ -5,4 +5,3 @@ Exec=env GNOME_SHELL_SESSION_MODE=classic gnome-session --session gnome-classic
 TryExec=gnome-session
 Icon=
 Type=Application
-DesktopNames=GNOME-Classic;GNOME
Author	SHA1	Message	Date
Florian Müllner	a752555d38	Bump version to 3.12.2 To go along GNOME Shell 3.12.2	2014-05-14 11:08:39 +02:00
Florian Müllner	c8e3f18c79	Revert "data: Add DesktopNames to the session file" This depends on changes in gnome-session and GIO to actually work, so leave it out on stable. This reverts commit `110e747e04`.	2014-05-14 11:00:48 +02:00