Summary of changes: 8543ef3... Patch so screen lock uses gnome-screensaver (*) 33e313b... Patch so screen lock uses gnome-screensaver (*) This commit already existed in another branch; no separate mail sent