On Tue, Jun 12, 2018 at 7:00 AM Gyan Doshi <gyando...@gmail.com> wrote: > > > Will push tomorrow.
This flag is part of the public API, and eventhough it is entirely unused, you cannot remove public API without a proper deprecation period. - Hendrik _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel