[PATCH 1/2] opengl32: Avoid a potential crash when flushing in wglSwapBuffers.