)]}'
{
  "commit": "c68cafa3d93b734c1bd5ca0f518f22db32053c9a",
  "tree": "4eba5b42fa69a641ac1720e04fd646749c755f1d",
  "parents": [
    "17b513ed2d0830aec5eb1e65333aa0e0cc061627"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 04 13:56:26 2022 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Mon Nov 28 17:03:36 2022 +0000"
  },
  "message": "gma skylake: Avoid aliasing of Config.State\n\nSPARK rules forbid us to pass `Config.Raw_Clock` (which is a part\nof `Config.State`) as an output to Get_Raw_Clock() as the latter\nalso depends on `Config.State`. Introduce an intermediate variable\nto avoid this.\n\nChange-Id: I721dea522afba9342d92f44aa0fd7708cc079436\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68109\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ec7135904166f09de906097e1d1233ba2c4855b1",
      "old_mode": 33188,
      "old_path": "common/skylake/hw-gfx-gma-power_and_clocks.adb",
      "new_id": "21bb303d79aa5837d4a2419524c8fbed730289df",
      "new_mode": 33188,
      "new_path": "common/skylake/hw-gfx-gma-power_and_clocks.adb"
    }
  ]
}