)]}'
{
  "commit": "1a87b0f7abdf3a7924972c636506628c5940525a",
  "tree": "a53a9994008c0a16076140b5a63ec9c19d3ff58d",
  "parents": [
    "74188d2def64266ccf611267bd3c054141fc2808"
  ],
  "author": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Aug 01 16:31:10 2019 +1000"
  },
  "committer": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Wed Aug 21 16:22:32 2019 +1000"
  },
  "message": "sem-bare.h: Use seL4_WaitWithMRs syscall for mcs\n\nThis syscall doesn\u0027t need a reply cap to be set on mcs and can work\nwithout an IPC buffer setup.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a635fbd58db1ec2dba03e8f215156443aca878ff",
      "old_mode": 33188,
      "old_path": "libsel4sync/include/sync/sem-bare.h",
      "new_id": "e0d7ef77f8b5b3181e6af1850682dcf15b8a6dc1",
      "new_mode": 33188,
      "new_path": "libsel4sync/include/sync/sem-bare.h"
    }
  ]
}