Fixup EXT_texture_sRGB_RG8.txt in glext.php

KhronosGroup / OpenGL-Registry

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

690 stars 276 forks source link

Fixup EXT_texture_sRGB_RG8.txt in glext.php #469

Closed gerddie closed 3 years ago

gerddie commented 3 years ago

It seems that glext.php was not properly re-generated, so that the entry was missing.

(Noted while submitting https://github.com/KhronosGroup/OpenGL-Registry/pull/468)

oddhack commented 3 years ago

Best to let me do the generated files when an extension is actually added (also true of the generated headers). Otherwise it tends to cause conflicts if we accept several extensions at the same time.