Patch __gl_glext_h_ from ticket #80
Authored by: brunoherbelin 2018-12-09
Parent: [r1839]
Child: [r1841]