Re: [PATCH v4 0/1] MR9375: opengl32: Avoid null pointer dereferences when filtering extensions. - approved