)]}'
{
  "commit": "a071b4d0f9608af3a948689a7539a2847fd04053",
  "tree": "953941729a49f706538551f4668e970835b3e243",
  "parents": [
    "b0e2fa4499debb180e34b512ae7355703c41ded3"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 15 20:06:25 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 15 20:08:10 2019 +0100"
  },
  "message": "fix(frontends/lean/decl_attributes): fix attribute parsing in old frontend\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e296c09336f2b0af78beecbc73264d1b84640fa4",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/decl_attributes.cpp",
      "new_id": "87db874fd8eb5e96abda10a5654a5d896390069b",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/decl_attributes.cpp"
    }
  ]
}