[ITA] mingw64-{i686,x86_64}-{gmp,mpfr,isl}

[Marco Atzeri]

On 10.04.2021 19:08, Achim Gratz wrote:
> 
> I propose to take over these packages from Yaakov in addition to the
> ones I maintain for the native toolchain already.
> 
> 
> Regards,
> Achim.
> 

all yours

Thanks
Marco