Sorry, I saw too late that the bug number in the changelog is wrong. This is fixed in
gnome-shell (3.6.3.1-0ubuntu9) saucy; urgency=low . * debian/patches/git_relock_screen_after_crash.patch: - backport upstream patch to relock session after crash (LP: #1064582) ** Changed in: gnome-shell (Ubuntu) Status: Confirmed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1064584 Title: Locked gnome session unlocks without password authentication To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1064584/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs