[gnome-shell-extensions] Created tag 3.1.3

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.1.3' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Sat Jul 2 14:23:33 2011 +0200

    3.1.3 development release

Changes since the last tag '3.0.1':

A S Alam (1):
      added Punjabi Translation and update LINGUAS file for locale

Arash Mousavi (1):
      Added Persian translation

Elad Alfassa (1):
      Support globally installed themes

Gabor Kelemen (2):
      Added hu to LINGUAS
      Added Hungarian translation

Giovanni Campagna (20):
      Revert "Mark extensions that require only public API"
      New extension: Removable Drive Menu
      StatusMenu: update to latest GNOME Shell API
      Update Italian translation
      user-theme: fix resetting theme to null
      Add COPYING
      places-menu: don't show "removable drives" if none is attached
      Rework how default extensions are chosen
      Rework how external packages are pulled in
      xrandr-indicator: require the right gjs version
      New extension: native-window-placement
      native-window-placement: update coding style and indentation
      Update README
      native-window-placement: make placement strategy a setting
      drive-menu: do nothing if the drive is has no volume
      Add NEWS file, and update gnome-shell-extensions.doap
      drive-menu: rework to use PlacesManager from the Shell
      Revert "Add 3.0 to user-theme"
      dock: fix showing in overview with gnome-shell master
      Bump version to 3.1.3

John Stowers (1):
      Add 3.0 to user-theme

Marc Alcalà (1):
      Allow dock allows multiple positions in screen

Martin Dengler (1):
      fix undeclared file variable in user-theme/extension.js

Maxim Ermilov (1):
      systemMonitor: new extension

Nguyán ThÃi Ngác Duy (1):
      Updated Vietnamese translation

Vamsi Krishna Brahmajosyula (2):
      New Extension: Places Menu Status Indicator
      New Extension: applications menu on the panel

Yaron Shahrabani (3):
      Added he to the LINGUAS
      Updated Hebrew translation.
      Updated Hebrew translation.

Yuri Myasoedov (1):
      Updated Russian translation