[gnome-shell] (9 commits) Non-fast-forward update to branch wip/fmuellner/redirect-banners

[Jonas Ådahl <jadahl src gnome org>]

The branch 'wip/fmuellner/redirect-banners' 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:

  7d4e510... messageTray: Re-enable unredirection when banner is destroy

Commits added to the branch:

  3217c10... theme: Replace calendar arrow images with symbolic icons an (*)
  4c11d15... st-button: Ignore pointer emulated touch events (*)
  0e0574a... iconGrid: Eliminate JavaScript for painting/picking (*)
  25fbffc... Update Esperanto translation (*)
  121c427... Updated Slovenian translation (*)
  4d649d6... Updated Spanish translation (*)
  6743c18... StWidget: don't forget to invalidate the paint state if not (*)
  925a25d... st: Avoid integer overflow on unpremultiply (*)
  e5ce3d5... messageTray: Re-enable unredirection when banner is destroy

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