mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-19 00:00:50 +08:00
6a88e7463e
The previous hack for fixing #7201 requires this, but it wasn't checked. It's easy to check, so do it. (Yes, we could just have required OpenGL 3.2 headers and skipped the earlier fix.) For #7201.