On 05/11/17 18:28, Carl Eugen Hoyos wrote: > 2017-11-05 15:24 GMT+01:00 Mark Thompson <s...@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 _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
