mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-01-11 16:45:34 +01:00
Forgotten in 5c16df1b92,
because neither I nor patchwork ran fate with xmllint.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>