[gnome-shell] (4 commits) Non-fast-forward update to branch wip/rstrode/timed-login-with-disable-user-list

[Ray Strode <halfline src gnome org>]

The branch 'wip/rstrode/timed-login-with-disable-user-list' was changed in a way that was not a fast-forward 
update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  a0842f4... loginDialog: Realign list of batch tasks
  17f4011... loginDialog: Allow timed login with disabled user list

Commits added to the branch:

  28723ac... overviewControls: Support double-super when animations are  (*)
  b93bf2b... altTab: Avoid setting GObject property to undefined instead (*)
  10dd70e... loginDialog: Realign list of batch tasks
  9c674c3... loginDialog: Allow timed login with disabled user list

(*) This commit already existed in another branch; no separate mail sent