[gnome-shell-extensions] Created tag 3.8.1

[Giovanni Campagna <gcampagna src gnome org>]

The signed tag '3.8.1' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Tue Apr 16 22:08:31 2013 +0200

    3.8.1 stable release

Changes since the last tag '3.8.0':

Changwoo Ryu (1):
      Updated Korean translation

Debarshi Ray (1):
      apps-menu: Improve submenu navigation

Florian Müllner (9):
      window-list: Activate window on hover during drag operations
      window-list: Set metaWindow for single-window items when grouped
      apps-menu: Allow for keynav between categories/applications
      app-menu: Update icons on icon theme changes
      window-list: Update icons on icon theme changes
      window-list: Fill max-width if possible
      classic: Style startup spinner differently in classic mode
      window-list: Don't rely solely on -st-natural-width
      window-list: Add support for AUTO grouping

Fran Diéguez (1):
      Updated Galician translations

Giovanni Campagna (4):
      WindowList: fix behavior on fullscreen
      window-list: add a workspace switcher
      WindowList: add a workspace switching menu
      Bump version to 3.8.1

Jakub Steiner (1):
      make submenus "fit in" for classic

Matthias Clasen (3):
      classic: Improve menu separators
      classic: Tweak separator colors
      Revert "window-list: add a workspace switcher"

Rui Matos (1):
      window-list: Fix preferences radio buttons not reflecting the setting

Милош Поповић (1):
      Small fix in Serbian translation