[gnome-builder] (3 commits) Non-fast-forward update to branch wip/chergert/hover

[Christian Hergert <chergert src gnome org>]

The branch 'wip/chergert/hover' 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:

  03f6c28... debugger: be more stringent in bounds checking
  1a5d788... wip: start on hover abstraction for sourceview
  31ec6de... omnigutter: remove query_tooltip

Commits added to the branch:

  d3ae9fe... debugger: be more stringent in bounds checking (*)
  111373e... wip: start on hover abstraction for sourceview
  2ca3669... omnigutter: remove query_tooltip

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