mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-05-31 20:56:51 +02:00
76d8f0dd14
Forgotten in fd98594a88.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>