mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-05-07 03:23:06 +02:00
90aa2a88f9
Fixes Coverity issue #1512413. Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>