r40043 - in /desktop/experimental/gnome-shell/debian: changelog patches/40_change-pam-name-to-match-gdm.patch

[sjoerd at users.alioth.debian.org]

Author: sjoerd
Date: Mon Oct 21 08:24:23 2013
New Revision: 40043

URL: http://svn.debian.org/wsvn/pkg-gnome/?sc=1&rev=40043
Log:
bump to 3.10.1

Modified:
    desktop/experimental/gnome-shell/debian/changelog
    desktop/experimental/gnome-shell/debian/patches/40_change-pam-name-to-match-gdm.patch

Modified: desktop/experimental/gnome-shell/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/experimental/gnome-shell/debian/changelog?rev=40043&op=diff
==============================================================================
--- desktop/experimental/gnome-shell/debian/changelog	[utf-8] (original)
+++ desktop/experimental/gnome-shell/debian/changelog	[utf-8] Mon Oct 21 08:24:23 2013
@@ -1,4 +1,4 @@
-gnome-shell (3.10.0.1-1) UNRELEASED; urgency=low
+gnome-shell (3.10.1-1) UNRELEASED; urgency=low
 
   * New upstream release
   * debian/patches/11-no-gettext.patch
@@ -17,7 +17,7 @@
   * debian/patches/10-make-NetworkManager-optional.patch
     + Temporarily disabled as it breaks gnome-shell currently
 
- -- Sjoerd Simons <sjoerd at debian.org>  Mon, 21 Oct 2013 00:08:09 +0200
+ -- Sjoerd Simons <sjoerd at debian.org>  Mon, 21 Oct 2013 10:23:29 +0200
 
 gnome-shell (3.8.4-4) unstable; urgency=low
 

Modified: desktop/experimental/gnome-shell/debian/patches/40_change-pam-name-to-match-gdm.patch
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/experimental/gnome-shell/debian/patches/40_change-pam-name-to-match-gdm.patch?rev=40043&op=diff
==============================================================================
--- desktop/experimental/gnome-shell/debian/patches/40_change-pam-name-to-match-gdm.patch	[utf-8] (original)
+++ desktop/experimental/gnome-shell/debian/patches/40_change-pam-name-to-match-gdm.patch	[utf-8] Mon Oct 21 08:24:23 2013
@@ -1,6 +1,6 @@
 --- a/js/gdm/util.js
 +++ b/js/gdm/util.js
-@@ -16,7 +16,7 @@
+@@ -17,7 +17,7 @@
  const SmartcardManager = imports.misc.smartcardManager;
  const Tweener = imports.ui.tweener;
  
@@ -8,4 +8,4 @@
 +const PASSWORD_SERVICE_NAME = 'gdm3';
  const FINGERPRINT_SERVICE_NAME = 'gdm-fingerprint';
  const SMARTCARD_SERVICE_NAME = 'gdm-smartcard';
- const FADE_ANIMATION_TIME = 0.16;
+ const OVIRT_SERVICE_NAME = 'gdm-ovirtcred';