[gnome-shell-extensions] Created tag 3.13.2

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

The unsigned tag '3.13.2' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: Wed May 28 01:25:32 2014 +0200

    Tag release 3.13.2

Changes since the last tag '3.13.1':

Florian Müllner (7):
      window-list: Fix stupid thinko
      window-list: Use Infinity instead of special-casing 0
      data: Add button-layout to override schema
      alternate-tab: Tweak pref widget a bit
      workspace-indicator: Tweak prefs UI
      auto-move: Tweak prefs UI
      Bump version to 3.13.2

Philip Withnall (1):
      Update British English translation