On 08/10/2020 11:26, Derek Buitenhuis wrote: >> Ping. > > Will push late today, or tomorrow, if nobody objects.
Pushed. - 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".
