[gnome-shell-extensions] (3 commits) Non-fast-forward update to branch wip/fmuellner/window-list-scrolling

[Florian Müllner <fmuellner src gnome org>]

The branch 'wip/fmuellner/window-list-scrolling' 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:

  4c3229a... window-list: Minor clean-up
  b337622... window-list: Ignore hidden buttons when scrolling

Commits added to the branch:

  c0454db... appsMenu: Consider scale-factor in height computation (*)
  d424b0f... window-list: Minor clean-up
  9410bdf... window-list: Ignore hidden buttons when scrolling

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