Hey everyone, I recently noticed that cygwin carries some patches to change/update the fat CPU detection for x86: https://cygwin.com/git-cygwin-packages/?p=git/cygwin-packages/gmp.git;a=blob;f=gmp.src.patch;h=b4a41e367de43ad2557e0fb08ebd04206e89c6b1;hb=HEAD I'm wondering if this is maybe something which should be upstreamed. regards