Mesa (master): mapi/glapi/registry: Update gl.xml to latest upstream version

[GitLab Mirror]

Module: Mesa
Branch: master
Commit: f1f6228a388692dd22121ebfaccd8e935ed21c2f
URL:    http://cgit.freedesktop.org/mesa/mesa/commit/?id=f1f6228a388692dd22121ebfaccd8e935ed21c2f

Author: Gert Wollny <gert.wollny at collabora.com>
Date:   Sat May 11 17:44:17 2019 +0200

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 at collabora.com>
Reviewed-by: Tapani Pälli <tapani.palli at intel.com>
Acked-by: Marek Olšák <marek.olsak at amd.com>
Reviewed-by: Emil Velikov <emil.velikov at collabora.com>

---

 src/mapi/glapi/registry/gl.xml | 4359 +++++++++++++++++++++++++++++-----------
 1 file changed, 3218 insertions(+), 1141 deletions(-)

Diff:   http://cgit.freedesktop.org/mesa/mesa/diff/?id=f1f6228a388692dd22121ebfaccd8e935ed21c2f