mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-06-08 16:50:26 +02:00
ab38ff9161
Forgotten in 4f7aeffd8c.
Reviewed-by: Ramiro Polla <ramiro.polla@gmail.com>
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>