mapi/glapi/registry: Update gl.xml to latest upstream version
authorGert Wollny <gert.wollny@collabora.com>
Sat, 11 May 2019 15:44:17 +0000 (17:44 +0200)
committerGert Wollny <gert.wollny@collabora.com>
Thu, 6 Jun 2019 10:25:12 +0000 (12:25 +0200)
commitf1f6228a388692dd22121ebfaccd8e935ed21c2f
tree8c7b814cd8b7e0724449b2293f7391ecca3bc41f
parent8657257a6e0f15f5411193de964ba6e512df0f8b
mapi/glapi/registry: Update gl.xml to latest upstream version

The old copy didn't include EXT_clip_control, so update it.

Signed-off-by: Gert Wollny <gert.wollny@collabora.com>
Reviewed-by: Tapani Pälli <tapani.palli@intel.com>
Acked-by: Marek Olšák <marek.olsak@amd.com>
Reviewed-by: Emil Velikov <emil.velikov@collabora.com>
src/mapi/glapi/registry/gl.xml