[gnome-build-meta] (3 commits) Non-fast-forward update to branch gcr-gnome-shell

[Jeremy Bicha <jbicha src gnome org>]

The branch 'gcr-gnome-shell' 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:

  52c0aaf... core/gnome-shell: Switch to new gcr

Commits added to the branch:

  c7115eb... boards/pinebook-pro/initial-scripts.bst: remove stray eleme (*)
  7c053c7... world/webkit2gtk-4.0.bst: drop obsolete webkit_toolchain va (*)
  a588215... core/gnome-shell: Switch to new gcr

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