git subrepo pull (merge) Proposal/LaTeX-proposal

subrepo:
  subdir:   "Proposal/LaTeX-proposal"
  merged:   "10ea724"
upstream:
  origin:   "git@github.com:KWARC/LaTeX-proposal.git"
  branch:   "master"
  commit:   "c1a9781"
git-subrepo:
  version:  "0.4.0"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "5d6aba9"

Proposal/LaTeX-proposal/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:KWARC/LaTeX-proposal.git
 	branch = master
-	commit = 55b2e7d08cf1be209ba8512f2ec34e6b66ac3e2a
+	commit = c1a9781770da82f98d49de9be299fdb592435153
 	parent = 3ba83828b052b6d5c40498846f1c46775f01e449
 	method = merge
 	cmdver = 0.4.0