MPFR and MPC

[Andreas Enge]

Hello,

mpfr just had a new release 4.1.0:
   https://ftp.gnu.org/pub/gnu/mpfr/
and I am planning to make one for mpc as well.

Should I follow some procedure for an update in Guix, or could I just push
two commits to core-updates?

Andreas