On 05-08-2018 02:12 PM, Gyan Doshi wrote:
Will push soon, if nothing else.
Pushed as 076b19660e7c9466d2d78ff9ae66b97ff2b6aa1e
Gyan
___
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
On 05-08-2018 01:49 PM, Carl Eugen Hoyos wrote:
Am 05.08.2018 um 08:09 schrieb Gyan Doshi :
Don't know if micro bump is needed.
You may (should) always bump micro when the behaviour changes, if this counts
as a change is up to you (the options you remove didn’t work before afaiu).
At
> Am 05.08.2018 um 08:09 schrieb Gyan Doshi :
>
> Don't know if micro bump is needed.
You may (should) always bump micro when the behaviour changes, if this counts
as a change is up to you (the options you remove didn’t work before afaiu).
Carl Eugen
_
