)]}'
{
  "commit": "ccfefb5c04f2c285a366e7af91266be0365147a8",
  "tree": "556127424f7805427bec937c4240aeb8c2a8ac96",
  "parents": [
    "95906762b28a11be154572dae68e354219ebcf03",
    "c0cebe5d0ad8b8112fef828565633901d4b1e694"
  ],
  "author": {
    "name": "peusterm",
    "email": "manuel.peuster@uni-paderborn.de",
    "time": "Tue Sep 06 17:15:31 2016 +0200"
  },
  "committer": {
    "name": "peusterm",
    "email": "manuel.peuster@uni-paderborn.de",
    "time": "Tue Sep 06 17:15:31 2016 +0200"
  },
  "message": "Merge pull request #174 from mpeuster/master\n\nFix: We don\u0027t use learning switch \u003d enabled in our demo topos",
  "tree_diff": []
}