On 23/05/2019 23:58, Darren Mo wrote: > To clarify, do you mean we should merge this now or wait for the second > patch, which fixes the root cause?
I have no strong opinion on it. Unsure which is better for a user experience, given they'll both be broken in some way. I'd say merge if you feel it is most correct; nobody has raised any objections. - Derek _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".
