[gnome-shell] (2 commits) Non-fast-forward update to branch wip/carlosg/size-not-length

[Marge Bot <marge-bot src gnome org>]

The branch 'wip/carlosg/size-not-length' 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:

  60209ea... keyboard: Use the right property to figure out modifiers se

Commits added to the branch:

  b9359f4... style: High contrast fixes for buttons (*)
  6225901... keyboard: Use the right property to figure out modifiers se

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