On Fri, 14 Sep 2018, Michael Niedermayer wrote:
Hi all
its almost 5 months since 4.0 so its time to make a new release.
Are there any suggestions for a name ?
If not ill pick something from unused past suggestions.
If there are no objections i will likely make that release in the next
weeks
Whatever happened to Coverity, it would be nice make it work again and fix
some issues reported there before the release...
Regards,
Marton
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel