mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-01-02 12:20:03 +01:00
Forgotten in d6cb0d2c2b.
Reviewed-by: Sean McGovern <gseanmcg@gmail.com>
Reviewed-by: Niklas Haas <ffmpeg@haasn.dev>
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>