looks like the mpc folks are going to fix the domain: https://lists.gforge.inria.fr/pipermail/mpc-discuss/2019-September/001524.html so, probably nothing to do here.
Bug 1584225 Comment 1 Edit History
Note: The actual edited comment in the bug view page will always show the original commenter’s name and original timestamp.
looks like the mpc folks are going to fix the domain: https://lists.gforge.inria.fr/pipermail/mpc-discuss/2019-September/001526.html so, probably nothing to do here.