git subrepo pull (merge) packages/HighFive

subrepo:
  subdir:   "packages/HighFive"
  merged:   "03a4b5807"
upstream:
  origin:   "git@github.com:BlueBrain/HighFive.git"
  branch:   "master"
  commit:   "d04789128"
git-subrepo:
  version:  "0.4.6"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "110b9eb"