Re: [PING][PATCH 5/6] [DJGPP] gcc/config/i386: update DJGPP configuration related files

[DJ Delorie]

> I posted last version of patch where I took review comments into account
> month ago:
> 
> https://gcc.gnu.org/ml/gcc-patches/2015-12/msg01328.html

I'm OK with this version.