• Fix android call to gl::get_extensions().

    gw3583 committed Mar 22, 2017