)]}'
{
  "commit": "ef6ddc7c3cfd7df5a5e7b320d597d7f3aacf390a",
  "tree": "5938db9ceea03ebac8d9ef264615932ae90b048b",
  "parents": [
    "30e024b76e1283daaf51999ba3130de924679181"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 15 15:12:42 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 15 15:12:42 2021 +0100"
  },
  "message": "fix: wait on tasks before Lean program exit\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8d8f445256e159a8a1dfc199e627ae16141cb6e1",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitC.lean",
      "new_id": "4ad3fc0318c601cf201201937216962488cdbca0",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitC.lean"
    },
    {
      "type": "modify",
      "old_id": "603190da53c65040d84dd62a44bc697acf30bb5a",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "3739b88e46336c7b798e8b3a0736126bc09142ba",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "992111706d278dded6da26beddb9e09dd9c8671b",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "e2878c57a1c828054840b61e12e2c3584cd8728a",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    }
  ]
}