)]}'
{
  "id": "bde534a950e9b39a633c0d7dfbd7696c168111e6",
  "repo": "tint.git",
  "revision": "5e5e36e7d2a1f794ef5793a2f303e6f3686f65b4",
  "path": "src/diagnostic/printer_other.cc"
}
