)]}'
{
  "commit": "6dd2d491e1fb4e7a969c0bbd98b638d7563bc9fb",
  "tree": "70a2c8be53bafdfbaf41ccf8c4c619f6a577852b",
  "parents": [
    "492263d2a4b453229d7396aa1b58cbbf9c72c7e3"
  ],
  "author": {
    "name": "Joffrey Huguet",
    "email": "huguet@adacore.com",
    "time": "Mon Jun 15 17:40:04 2026 +0200"
  },
  "committer": {
    "name": "Marc Poulhiès",
    "email": "dkm@gcc.gnu.org",
    "time": "Mon Jun 29 13:17:11 2026 +0200"
  },
  "message": "ada: Fix contracts in Ada.Text_IO\n\nThis patch adds Data_Error in Exceptional_Cases contracts for Get\nprocedures in Ada.Text_IO.\n\ngcc/ada/ChangeLog:\n\n\t* libgnat/a-textio.ads (Get): Add Data_Error in Exceptional_Cases contract.\n\t(Look_Ahead): Likewise.\n\t(Get_Immediate): Likewise.\n\t(Get_Line): Likewise.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9ba63ddcfa190a0d60c0bf85257de7f93e16a9bb",
      "old_mode": 33188,
      "old_path": "gcc/ada/libgnat/a-textio.ads",
      "new_id": "5e350418492747925a8d0cac45bced9b0ba443a0",
      "new_mode": 33188,
      "new_path": "gcc/ada/libgnat/a-textio.ads"
    }
  ]
}