[gnome-shell-extensions] (15 commits) ...workspace-indicator: Don't override ClutterActor.destroy()

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

Summary of changes:

  821cbf9... window-list: Adjust to gnome-shell changes (*)
  60493fa... window-list: Don't override ClutterActor.destroy() (*)
  321702f... window-list: Stop using compatibility actor property (*)
  2af737a... apps-menu: Remove pointless destroy() implementation (*)
  e9928b3... apps-menu: Adjust to gnome-shell changes (*)
  072fbee... apps-menu: Stop using compatibility actor property (*)
  fbeb3cf... places-menu: Adjust to gnome-shell changes (*)
  e5a0616... places-menu: Stop using compatibility actor property (*)
  132b3b0... places-menu: Don't override ClutterActor.destroy() (*)
  efa8820... drive-menu: Adjust to gnome-shell changes (*)
  d9932b8... drive-menu: Stop using compatibility actor property (*)
  ee85839... drive-menu: Don't override ClutterActor.destroy() (*)
  62818e7... workspace-indicator: Adjust to gnome-shell changes (*)
  34c20e6... workspace-indicator: Stop using compatibility actor propert (*)
  7eae32e... workspace-indicator: Don't override ClutterActor.destroy() (*)

(*) This commit already existed in another branch; no separate mail sent