)]}'
{
  "commit": "8e4aed5eb8c0a37f806bc387969db18ac660cccf",
  "tree": "d2c19adc5508d5615535a455ff94e053b9c680e1",
  "parents": [
    "7bd57c9749f8f34fce25b234a12cac3be69178e7"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 17 15:25:16 2018 -0700"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 17 15:25:16 2018 -0700"
  },
  "message": "chore(library/init/io): rename `io.print_ln` to `io.println`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a6108f1e3d556e2fd30c4e9b273443bb07ca38d5",
      "old_mode": 33188,
      "old_path": "library/init/io.lean",
      "new_id": "01b2532b93e591a646a83743530cc13d03c27468",
      "new_mode": 33188,
      "new_path": "library/init/io.lean"
    },
    {
      "type": "modify",
      "old_id": "dba3ef4e69a4d99e936974d0135824baf379dc54",
      "old_mode": 33188,
      "old_path": "old_tests/tests/lean/io_bug2.lean",
      "new_id": "ac7a499fcae0bfbd1afe89d73401cc2c3afb3acf",
      "new_mode": 33188,
      "new_path": "old_tests/tests/lean/io_bug2.lean"
    },
    {
      "type": "modify",
      "old_id": "2566b8ca21f49e8d03cddf89dfe1d0a6cbf64bc5",
      "old_mode": 33188,
      "old_path": "old_tests/tests/lean/run/io_state.lean",
      "new_id": "8d8f924c06944181476d874d6f6207cb35872aa9",
      "new_mode": 33188,
      "new_path": "old_tests/tests/lean/run/io_state.lean"
    },
    {
      "type": "modify",
      "old_id": "c0aa0aaccc1643bdbfd42d7a4e2c2d49b9bd31bd",
      "old_mode": 33188,
      "old_path": "tests/lean/parsec1.lean",
      "new_id": "be95f9aef373497bd96f52bdcfab4f447fa42f6d",
      "new_mode": 33188,
      "new_path": "tests/lean/parsec1.lean"
    },
    {
      "type": "modify",
      "old_id": "10f7749c8e0b8a6fdc9537e25c38bbade911d0ab",
      "old_mode": 33188,
      "old_path": "tests/lean/reader1.lean",
      "new_id": "7c1e9a05e220200ad2a56d974242366605640c78",
      "new_mode": 33188,
      "new_path": "tests/lean/reader1.lean"
    },
    {
      "type": "modify",
      "old_id": "11647bd5171567fa978b23598a119455443e41d4",
      "old_mode": 33188,
      "old_path": "tests/lean/run/coroutine.lean",
      "new_id": "385f221c771d8f3cb686e47da423f89a47b6e137",
      "new_mode": 33188,
      "new_path": "tests/lean/run/coroutine.lean"
    },
    {
      "type": "modify",
      "old_id": "7340dad092ba3be4230da1838fac12c834800b71",
      "old_mode": 33188,
      "old_path": "tests/lean/run/ext_eff.lean",
      "new_id": "8d499163f3cd503a8a0661b6fcdab5c5dbcc81f7",
      "new_mode": 33188,
      "new_path": "tests/lean/run/ext_eff.lean"
    },
    {
      "type": "modify",
      "old_id": "f659549d42c6debfc2d0434129274e1992188f09",
      "old_mode": 33188,
      "old_path": "tests/lean/run/parser_ir1.lean",
      "new_id": "e6370c405553329274f647a03cf4b0a1becebeab",
      "new_mode": 33188,
      "new_path": "tests/lean/run/parser_ir1.lean"
    }
  ]
}