Merge pull request #252997 from zeuner/g2fx-inria-gitlab-move
gf2x: switch to inria gitlab as predicted before
authored by 7c6f434c and committed by GitHub 2 years ago 4a290960 1d2c473d