Holger Wansing, on Wed 23 Nov 2016 18:51:30 +0100, wrote: > Ehhm, sorry, but you forgot to sync one more change: "Mips" was changed > into "32-bit Mips (big-endian)". Oh, right, thanks. If port people could take care of these details, that'd help :) Samuel