[gnome-shell-extensions] Created tag 3.9.4

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.9.4' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Thu Jul 18 12:45:14 2013 +0200

    3.9.4 development release

Changes since the last tag '3.9.3':

Andika Triwidada (1):
      Updated Indonesian translation

Anish A (1):
      Updated Malayalam Translation

Benjamin Steinwender (1):
      Updated German translation

Giovanni Campagna (4):
      apps-menu: don't store the hot corner at creation
      alternative-status-menu: unpack the result of CanHibernate
      user-theme: look for gnome-shell themes in ~/.local/share too
      Bump version to 3.9.4

Nguyễn Thái Ngọc Duy (1):
      po/vi: import from Damned Lies

Rafael Ferreira (1):
      Updated Brazilian Portuguese translation

Trần Ngọc Quân (1):
      Updated Vietnamese translation

tuhaihe (1):
      update Simplified Chinese (zh_CN) translation