Don't report duplicate GL extensions. Closes #1739
Don't report duplicate GL extensions. Closes #1739

Zorro666/renderdoc,Zorro666/renderdoc,Zorro666/renderdoc,Zorro666/renderdoc,baldurk/renderdoc,baldurk/renderdoc,baldurk/renderdoc,Zorro666/renderdoc,baldurk/renderdoc,Zorro666/renderdoc,baldurk/renderdoc,baldurk/renderdoc