Fix ES extension numbering conflict between GL_EXT_shader_samples_identical and GL_EXT_separate_depth_stencil

KhronosGroup / OpenGL-Registry

OpenGL, OpenGL ES, and OpenGL ES-SC API and Extension Registry

679 stars 274 forks source link

Closed janharaldfredriksen-arm closed 2 years ago

janharaldfredriksen-arm commented 2 years ago

It looks like https://github.com/KhronosGroup/OpenGL-Registry/pull/504 didn't update registry.py - and then there was a race with GL_EXT_separate_depth_stencil resulting in both taking ES extension number 338.

GL_EXT_separate_depth_stencil is now not visible from https://www.khronos.org/registry/OpenGL/index_es.php.

This resolves the numbering conflict in favor of GL_EXT_separate_depth_stencil just because that was merged first.

CC: @jekstrand, @oddhack

oddhack commented 2 years ago

LGTM.

oddhack commented 2 years ago

I'm just going to go ahead and merge this since it's purely an infrastructure fix to the registry, not API-related.