[FFmpeg-devel] [PATCH] doc/developer: remove duplicate policies and fix error

[James Almer]

On 10/4/2016 7:20 PM, Michael Niedermayer wrote:
> On Tue, Oct 04, 2016 at 11:10:00PM +0100, Josh de Kock wrote:
>> Fixes regression as of ee72b6d1
>>
>> Signed-off-by: Josh de Kock <josh at itanimul.li>
>> ---
>> The irony of this patch is terrible, but oh well. Maybe we're missing a
>> 'everyone makes mistakes' policy.
>>
>>  doc/developer.texi | 18 ++----------------
>>  1 file changed, 2 insertions(+), 16 deletions(-)
> 
> should be ok, this is removing duplicate entries

Pushed as it broke fate and things were becoming very red very fast.