mirror of
https://mirror.skon.top/https://github.com/FFmpeg/FFmpeg
synced 2026-04-23 02:11:14 +08:00
Forgotten in 5c16df1b92,
because neither I nor patchwork ran fate with xmllint.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>