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

[Florian Müllner <fmuellner 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:

  c14ee2f... messageTray: Re-enable unredirection when banner is destroy

Commits added to the branch:

  8e7c90b... theme: Replace corner ripple png assets with css (*)
  27c660d... theme: Replace page indicator assets with css (*)
  4d2dce2... theme: Drop custom assets for window close buttons in overv (*)
  10b3671... shell: Use MetaStartupNotification (*)
  cdb8ac3... shell: Hide/drop unused public API (*)
  2640507... meson.build: Bump compatible mutter API version to 4 (*)
  7d4e510... messageTray: Re-enable unredirection when banner is destroy

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