Publishing details

• Removed from disk on 2013-05-19.
• Removal requested on 2013-05-19.
• Superseded on 2013-05-17 by gnome-shell-extensions - 3.8.2-0ubuntu1~raring1
• Published on 2013-04-16
• Copied from ubuntu raring in GNOME3 Staging by Jeremy Bícha

Changelog

gnome-shell-extensions (3.8.1-0ubuntu1~raring1) raring; urgency=low

  * New upstream release.

gnome-shell-extensions (3.8.0-0ubuntu1~raring1) raring; urgency=medium

  * New upstream release

gnome-shell-extensions (3.7.92-0ubuntu1~raring1) raring; urgency=medium

  * New upstream release.
  * debian/patches/git-fix-menu.patch:
    - Dropped, applied upstream

gnome-shell-extensions (3.7.91-0ubuntu1~raring0) raring; urgency=medium

  * New upstream release.
  * debian/patches/git-fix-menu.patch:
    - Git patch to fix opening the menu

gnome-shell-extensions (3.7.90-0ubuntu1~raring1) raring; urgency=medium

  * New upstream release.
    - Provides the new "GNOME Classic" mode for GNOME Shell
  * debian/control.in:
    - Breaks/Replaces gnome-session versions which included
      login sessions named "gnome-classic"
  * debian/rules:
    - Enable all extensions except example and xrandr
 -- Jeremy Bicha <email address hidden>   Tue, 16 Apr 2013 18:42:39 -0400

Builds

• i386

Package files