On Fri, Sep 07, 2018 at 21:32:02 +0200, Moritz Barsnick wrote: > On Mon, Jul 02, 2018 at 13:38:04 +0200, Moritz Barsnick wrote: > > Fixes #7293. > > Ping.
Another friendly ping. For reference, since it's quite a while back: https://patchwork.ffmpeg.org/patch/9566/ Still applies cleanly to HEAD of master. Thanks, Moritz _______________________________________________ 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".
