Re: [PATCH 4/5] wined3d: Always use glFinish() for synchronization when cleaning up a GL context.