mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-06-16 04:32:47 +02:00
4f3d8cb554
Fixes checkheaders after 8c01eb0a31.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@gmail.com>