On Wed, Oct 14, 2015 at 8:08 PM Ganesh Ajjanagadde <gajjanaga...@gmail.com>
wrote:

> pushed. Please let me know if such things are ok or not in the future
> - technically I guess doc maintainers need to respond before I can
> push, but as this change was trivial I thought I would do it.\
>

As a documentation maintainer, I'm comfortable to say that changes like
this can be directly pushed without first sending it to the ML.

Timothy
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel

Reply via email to