mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-01-19 05:49:09 +02:00
0245abc7c1
This is more consistent and may fix a build failure Signed-off-by: Michael Niedermayer <michaelni@gmx.at>