On 11/17/2017 12:32 AM, Devin Heitmueller wrote:
> I don’t have strong feelings either way.  I’m happy to jam this into a 
> subsequent cleanup patch if nobody has an objection (it’s just much easier 
> since I have about 15 commits after this one in my Git tree).

Looks like nobody is bothered, in any case.

- Derek
ffmpeg-devel mailing list

Reply via email to