Oh, very true, I must have missed that -- thank you!

On 2 January 2018 at 14:08, James Almer <[email protected]> wrote:

> On 1/2/2018 10:59 AM, Thomas Köppe wrote:
> > Hello,
> >
> > Friendly ping, can I interest you in this patch? It seems like it fixes
> an
> > oversight that would be annoying for anyone trying to build FFMPEG for
> > DJGPP.
> >
> > Thanks!
>
> This seems to have been applied already. See commit
> 53c492640c6b4690715793372454194379093d21
> _______________________________________________
> ffmpeg-devel mailing list
> [email protected]
> http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
>
_______________________________________________
ffmpeg-devel mailing list
[email protected]
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel

Reply via email to