[yelp] (6 commits) Non-fast-forward update to branch wip/patches

[David King <davidk src gnome org>]

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

  0b7497c... tests: Port from GtkVBox and GtkHBox to GtkBox
  de44113... libyelp: Make some private functions static
  12df855... icons: Use bookmark icon from theme
  c7b3f70... Use more stringent configure flags for distcheck
  4acb2ed... yelp-window: Style the find revealer

Commits added to the branch:

  a6d3b1c... Fix crash on searching. (*)
  536e9ce... yelp-window: Style the find revealer (*)
  ff8d34a... tests: Port from GtkVBox and GtkHBox to GtkBox
  3c9ac3c... libyelp: Make some private functions static
  fb0735d... icons: Use bookmark icon from theme
  801ddd7... Use more stringent configure flags for distcheck

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