mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2026-07-03 05:09:03 +00:00
Forgotten in 4f7aeffd8c.
Reviewed-by: Ramiro Polla <ramiro.polla@gmail.com>
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>