)]}'
{
  "commit": "74188d2def64266ccf611267bd3c054141fc2808",
  "tree": "4525d0adf346975423b3f4dd536535ae21d0a6a5",
  "parents": [
    "ed5b378acea59d30094f94f214dc657b439ba24f"
  ],
  "author": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Aug 01 16:29:23 2019 +1000"
  },
  "committer": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Wed Aug 21 16:22:32 2019 +1000"
  },
  "message": "Remove references to seL4_IPCBuffer.userData\n\nThis field is no longer needed to store a reference to the IPC buffer.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7320e3389ebb96441529e57487162b3f26319219",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/bootinfo.c",
      "new_id": "d8d099cc064d0de5565bdb9fba902314aeab30f7",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/bootinfo.c"
    },
    {
      "type": "modify",
      "old_id": "14a91c6ef58862007f1089a91ca1e38de1357b63",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/thread.c",
      "new_id": "13e94a2c81d92663744ffd2411ab60af439b38df",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/thread.c"
    }
  ]
}