• More well-defined public API for EGL things

    SimonSapin committed Feb 27, 2018