On 24/08/14 10:45, Gerald Pfeifer wrote:
I did consider it, but I don't think it's really a problem to have them both listed and since I don't really know what the difference is between the two, I decided not to merge them. It also makes the work simpler not to have to make such an editorial decision.I am wondering, should we consider merging i686-pc-linux-gnu and i686-unknown-linux-gnu? It's practically the same, isn't it?
-tgc