4cdcb0 Fix/Workaround bug #591

Authored and Committed by Campbell Barton 7 years ago
    Fix/Workaround bug #591
    
    We could check for the extensions but these OpenGL options are never used,
    so no need to disable them.