git subrepo pull (merge) ore

subrepo:
  subdir:   "ore"
  merged:   "9a94d4534e"
upstream:
  origin:   "git@gitlab.acadiasoft.net:qs/ore.git"
  branch:   "master"
  commit:   "9c5daf7b1d"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"

Author: jenkins