mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-05-09 12:32:56 +02:00
dd885ab2f5
Fixes #9339.
(Adapted from commit 43a0004b5c)