[gnome-shell-extensions] Created tag 3.1.4

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.1.4' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Mon Aug 1 16:01:49 2011 +0200

    3.1.4 development release

Changes since the last tag '3.1.3':

Alessandro Crismani (2):
      Auto Move Windows: open overview when last window is closed
      AutoMoveWindows: show overview when the last window workspace is closed

Erick PÃrez Castellanos (1):
      New extension: workspace-indicator

Giovanni Campagna (9):
      Update NEWS
      systemMonitor: don't require a too new libgtop
      Fix FSF address in COPYING
      Fix mentions of shell_global_get_primary_monitor()
      dock: implement autohiding
      workspace-indicator: show a dot next to current workspace
      alternate-tab: more alternative implementations
      Fix mentions of shell_global_get_primary_monitor()
      Bump version to 3.1.4

Stefano Facchini (1):
      Tweak the workspace gaps in order to have a constant aspect ratio

Takeshi AIHANA (1):
      Added Japanese translation.

malcolmlewis (1):
      Fix zero-length warning for stylesheets