Renamed branch mpfr-2-0-2-branch as 2.0.2. [[Split portion of a mixed commit.]] [From SVN r3892]
GitLab upgrade completed. Current version is 18.10.6
https://docs.gitlab.com/releases/18/gitlab-18-10-released/
Renamed branch mpfr-2-0-2-branch as 2.0.2. [[Split portion of a mixed commit.]] [From SVN r3892]