[gnome-shell-extensions] Created tag 3.13.1

[Matthias Clasen <matthiasc src gnome org>]

The unsigned tag '3.13.1' was created.

Tagger: Matthias Clasen <mclasen redhat com>
Date: Thu May 1 11:27:57 2014 -0400

    3.13.1

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 (10):
      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

Ikuya Awashiro (1):
      l10n: Update Japanese translation

Khoem Sokhem (1):
      Added Khmer translation

Matthias Clasen (1):
      3.13.1

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