mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-05-08 12:03:14 +02:00
0ab5d7e92b
Forgotten in 136865413c.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>