glDeleteTextures and glDeleteTexturesEXT have the same offset in the dispatch
table. This is not correct. EXT_texture_object is one of the few extensions
where the GLX protocol opcode changed from the extension to the core.
Since there are few (if any) X-servers that implement EXT_texture_object but not
OpenGL 1.1, this is unlikely to be a problem in practice. However, if we ever
decide to re-assign the dispatch offsets we should fix this issue.
Is this still a problem?
Mass version move, cvs -> git
on Aug 26, 2016 at 13:38:38.
(provided by the Example extension).