gnome-shell-extensions 3.12.2-1ubuntu1 source package in Ubuntu
Changelog
gnome-shell-extensions (3.12.2-1ubuntu1) utopic; urgency=low
* Merge from Debian unstable. Remaining changes:
- debian/patches/fix-ubuntu-sessions.patch:
+ Set X-LightDM-DesktopName to GNOME for GNOME session.
- debian/gnome-shell-extensions.gsettings-override:
+ Removed, no longer useful.
- debian/watch:
+ Watch for stable versions.
-- Artur Rona <email address hidden> Sat, 23 Aug 2014 01:22:46 +0200
Upload details
- Uploaded by:
- Artur Rona
- Uploaded to:
- Utopic
- Original maintainer:
- Ubuntu Developers
- Architectures:
- all
- Section:
- gnome
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell-extensions_3.12.2.orig.tar.xz | 206.9 KiB | 30ba6e4792062e5a5cdd18e4a12230e68bfed1ded7de433ad241dd75e7ae2fc6 |
| gnome-shell-extensions_3.12.2-1ubuntu1.debian.tar.gz | 6.0 KiB | f2a1a5f71f25c7f5f123b353cba7b9a0478b3df63fad71c12783a5f5e8552832 |
| gnome-shell-extensions_3.12.2-1ubuntu1.dsc | 1.9 KiB | b3c7ee260e7713716b15534d45401eb41c1c3b11427187d29a6578a00b8b2bf1 |
Available diffs
- diff from 3.12.2-0ubuntu1 to 3.12.2-1ubuntu1 (795 bytes)
Binary packages built by this source
- gnome-shell-extensions: No summary available for gnome-shell-extensions in ubuntu utopic.
No description available for gnome-shell-
extensions in ubuntu utopic.
