[FFmpeg-devel] On in-tree external headers

[Mark Thompson]

On 05/11/17 18:28, Carl Eugen Hoyos wrote:
> 2017-11-05 15:24 GMT+01:00 Mark Thompson <sw at jkqxz.net>:
>> On 30/10/17 19:51, Mark Thompson wrote:
> 
>> "No external headers may be included in the ffmpeg tree."
> 
> So you suggest to remove the Nvidia header?
If that specific policy is adopted then it would have to be.

Alternative proposals are welcome.

Thanks,

- Mark