Publishing details

• Removed from disk on 2013-04-04.
• Removal requested on 2013-04-03.
• Superseded on 2013-04-02 by gnome-shell-extensions - 3.8.0-0ubuntu1~raring1
• Published on 2013-03-19

Changelog

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

  * New upstream release.
  * debian/patches/git-fix-menu.patch:
    - Dropped, applied upstream
 -- Tim Lunn <email address hidden>   Wed, 20 Mar 2013 09:18:52 +1100

Builds

• i386

Package files