)]}'
{
  "id": "57e3b18c15ec79636d89267aba0e88f434c5d4db",
  "repo": "third_party/kernel",
  "revision": "a7a7bff258e1f5aee2bb95ebbc12bbd6533dd1e7",
  "path": "include/drm/display/drm_hdmi_helper.h"
}