Comment 9 for bug 1064584

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)