[FFmpeg-devel] [PATCH] doc/ffmpeg: use stream_loop instead of loop

[Timothy Gu]

On Wed, Oct 14, 2015 at 8:08 PM Ganesh Ajjanagadde <gajjanagadde at 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