[gnome-shell-extensions] Created tag 3.12.2

[Florian Müllner <fmuellner src gnome org>]

The unsigned tag '3.12.2' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: Wed May 14 11:09:55 2014 +0200

    Tag release 3.12.2

Changes since the last tag '3.12.0':

Bastien Nocera (1):
      data: Add DesktopNames to the session file

Debarshi Ray (1):
      launch-new-instances: Drop obsolete signals and callbacks

Florian Müllner (12):
      style: Overwrite border-radius of tile previews in classic mode
      window-list: Don't shift message tray when on different monitors
      auto-move-windows: Remove unused parameters
      auto-move-windows: Fix fallout from API change
      auto-move-windows: Move check for dynamic workspaces
      auto-move-windows: Respect keep-alive flag in checkWorkspaces
      auto-move-windows: Take workspaces in startup sequences into account
      auto-move-windows: Never show the overview after removing workspace
      auto-move-windows: Never remove the active workspace
      window-list: Sort buttons by stable sequence
      Revert "data: Add DesktopNames to the session file"
      Bump version to 3.12.2

Ikuya Awashiro (1):
      l10n: Update Japanese translation

Khoem Sokhem (1):
      Added Khmer translation

Piotr Drąg (1):
      doap: update URLs