Re: [jhc] darcs patch: use appropriate mingw gcc in targets.ini

Back to the list