Closed emersion closed 1 year ago
This extension is already in extensions/, but was missing from the XML. Add the three tokens it defines and re-generate the API.
Closes https://github.com/KhronosGroup/OpenGL-Registry/issues/558
The XML change looks good to me. @oddhack would probably prefer you exclude the generated files from the PR.
Done!
@oddhack, this is approved to merge.
This extension is already in extensions/, but was missing from the XML. Add the three tokens it defines and re-generate the API.
Closes https://github.com/KhronosGroup/OpenGL-Registry/issues/558