[gnome-shell-extensions] Created tag 3.31.2

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

The signed tag '3.31.2' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: 1542162095 +0100

    Tag release 3.31.2

Changes since the last tag '3.30.1':

Florian Müllner (19):
      extensions: Remove alternate-tab
      extensions: Remove example extension
      window-list: Adjust to gnome-shell changes
      window-list: Don't override ClutterActor.destroy()
      window-list: Stop using compatibility actor property
      apps-menu: Remove pointless destroy() implementation
      apps-menu: Adjust to gnome-shell changes
      apps-menu: Stop using compatibility actor property
      places-menu: Adjust to gnome-shell changes
      places-menu: Stop using compatibility actor property
      places-menu: Don't override ClutterActor.destroy()
      drive-menu: Adjust to gnome-shell changes
      drive-menu: Stop using compatibility actor property
      drive-menu: Don't override ClutterActor.destroy()
      workspace-indicator: Adjust to gnome-shell changes
      workspace-indicator: Stop using compatibility actor property
      workspace-indicator: Don't override ClutterActor.destroy()
      Update sass submodule
      Bump version to 3.31.2

Piotr Drąg (1):
      Update POTFILES.in