)]}'
{
  "commit": "321f8c0be9a8921497887258df72dd6b6221c2a5",
  "tree": "7226799087c7d8567e456c11bbb24f3a66e39a73",
  "parents": [
    "2e3d52333241e01dfd09fd921cb0e26fb61fd145"
  ],
  "author": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Fri Apr 12 10:16:51 2024 +0200"
  },
  "committer": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Fri Apr 12 10:16:51 2024 +0200"
  },
  "message": "perf: fix linearity in (HashSet|HashMap).erase\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dc30823cb7388f8f7b2bedd33afdc1749efee876",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashMap.lean",
      "new_id": "52328515f2bba2516f2d224c446140c7798798a8",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashMap.lean"
    },
    {
      "type": "modify",
      "old_id": "5bf16b14f747151ec93b2e7826b56e6803b0db3f",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashSet.lean",
      "new_id": "927b6e10d682cb2d54961ed0c4ecba05a1fde32b",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashSet.lean"
    }
  ]
}