On Mon, Oct 21, 2013 at 9:19 AM, Kai Tietz wrote: > Hello, > > Once again ... We already discussed this issue some time ago directly, > Earnie. And just by repeating and spreading this nonsense over and over > again, it doesn't make it right. >
I am not going to debate the issue. > > So instead, we should change the use of *-*-mingw32* to *-*-mingw* instead. > Well, we could agree on that even the name *mingw* is something wrong, and > should something more host-specific as host-part of triplet. But well, this > is a different discussion. Both -mingw32 and mingw64 are to stay. It's not that I don't agree with you; it is a decision that was not made by me but I support. -- Earnie -- https://sites.google.com/site/earnieboyd _______________________________________________ config-patches mailing list config-patches@gnu.org https://lists.gnu.org/mailman/listinfo/config-patches
