)]}'
{
  "commit": "dadc5e3856e2652fd2e8292c47fd84d60fe6ac4c",
  "tree": "ed5fc36d8aebc948034f5394170f387a7e2f1b19",
  "parents": [
    "8541e7b3292ad6b4e524afdd1d03d51daeb885a9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Sep 18 10:51:52 2019 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Sep 18 12:24:24 2019 +0200"
  },
  "message": "fix(util/nat): `nat::get_small_value` return type\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "adc50ad8ccf03e82c6428039b216d5ec5b73c78d",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/pp.cpp",
      "new_id": "b9b7b1fd38d1fd3691b97ef5c5e8d4412a97260d",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/pp.cpp"
    },
    {
      "type": "modify",
      "old_id": "e65f0e373f361a661d5fdc6345342c3943a3d75d",
      "old_mode": 33188,
      "old_path": "src/library/pos_info_provider.cpp",
      "new_id": "e09dab8b37061b848328a4352d7be29928ee1895",
      "new_mode": 33188,
      "new_path": "src/library/pos_info_provider.cpp"
    },
    {
      "type": "modify",
      "old_id": "88621aa6447be67ef3b426ba07dfe2193c325d33",
      "old_mode": 33188,
      "old_path": "src/util/nat.h",
      "new_id": "9dfe48941040b7c7d4e25bf0196baa9e68c4bead",
      "new_mode": 33188,
      "new_path": "src/util/nat.h"
    }
  ]
}