[ocrfeeder] (5 commits) Non-fast-forward update to branch master

[Owen Taylor <otaylor src gnome org>]

The branch 'master' 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:

  b0165e8... Remove popup menu in the pages area
  7023c86... Warn when no OCR engines are found on startup
  4b4cbc2... Warn when there are no OCR engines on recognition
  4107fe6... Update the box editor's OCR controls sensitiveness
  9523edd... Port engines migration dialog to GI

Commits added to the branch:

  3455939... Remove popup menu in the pages area (*)
  94790fe... Warn when no OCR engines are found on startup (*)
  99c55a6... Warn when there are no OCR engines on recognition (*)
  80c95ae... Update the box editor's OCR controls sensitiveness (*)
  5ccb9e6... Port engines migration dialog to GI (*)

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