)]}'
{
  "commit": "8390ab63ecc1d26eb87dd4e253662b5236694425",
  "tree": "1f412ba512a2e56eb7d4d191ee9cb25bc06e0ac4",
  "parents": [
    "14225b81cecc80a8d48911567e85668c5b3ecdaf"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon May 16 13:23:37 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 17 17:38:32 2022 +0200"
  },
  "message": "fix: compiled string literals containing null bytes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f6377307b1f3c47e28657f47205e79af89b3740f",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitC.lean",
      "new_id": "6a11e7bd3a0857a429834b10efc54a6741de8f79",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitC.lean"
    },
    {
      "type": "modify",
      "old_id": "3739b88e46336c7b798e8b3a0736126bc09142ba",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "93b23d9bcaf182e1c8758a71797ca9b255718a5a",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "fdb17220d2fd0b809438b6f33b2f9690844a871b",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "bdfb0fe3e2872a5d02fd2f05ec10487060f8a6a3",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    },
    {
      "type": "modify",
      "old_id": "265e52d4a167bf820b6f2dd37b280605b0ebd2fb",
      "old_mode": 33188,
      "old_path": "tests/compiler/str.lean",
      "new_id": "23900624f9631d7b7f44dccb1af1b813af396f50",
      "new_mode": 33188,
      "new_path": "tests/compiler/str.lean"
    },
    {
      "type": "modify",
      "old_id": "89847d6c72d0eda334fce631609877043966206c",
      "old_mode": 33188,
      "old_path": "tests/compiler/str.lean.expected.out",
      "new_id": "ebfe76f9eafd9b9fc0f0917b0f98fdaa17b1c4d2",
      "new_mode": 33188,
      "new_path": "tests/compiler/str.lean.expected.out"
    }
  ]
}