[PATCH v2 1/1] opengl32: Update to the current OpenGL spec.