Hello, mpfr-4.1.1 is expected to be released tomorrow: https://sympa.inria.fr/sympa/arc/mpfr/2022-11/msg00000.html
I do not expect there to be any breakage (this is a bugfix release), but adding it would require to recompile everything. Is this feasible before the release? Or should we do it on a core-updates branch? Or simply postpone it till after the release? Andreas