Re: [PATCH 0/1] MR9243: opengl32: Include legacy aliases in the extension registry.