mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-01-24 13:56:33 +02:00
550a9c547e
The header is not always available in the docker build environment Suggested-by: Kostya Serebryany Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>