Comment 3 for bug 1259871

This bug was fixed in the package gnome-shell-extensions - 3.8.4-2ubuntu1

---------------
gnome-shell-extensions (3.8.4-2ubuntu1) trusty; urgency=low

  * Merge from Debian unstable. (LP: #1259871) Remaining changes:
    - debian/patches/fix-ubuntu-sessions.patch:
      + Set X-LightDM-DesktopName to GNOME for GNOME session.

gnome-shell-extensions (3.8.4-2) unstable; urgency=low

  * Upload to unstable.

gnome-shell-extensions (3.8.4-1) experimental; urgency=low

  [ Jeremy Bicha ]
  * New upstream release
  * Dropped patches applied in new version:
    - fix-hibernate.patch
    - fix-applications-menu-resolution-change.patch
    - look-in-data-home-for-themes.patch

  [ Michael Biebl ]
  * Add a wrapper script to start the GNOME Classic session as currently
    Xsession doesn't allow to run gnome-session with custom arguments due to
    #653327.
 -- Artur Rona <email address hidden> Wed, 11 Dec 2013 10:21:23 +0100