GitLab (git.doit.wisc.edu) has been upgraded to version 17.10.4. For more, see: https://about.gitlab.com/releases/2025/03/20/gitlab-17-10-released/
trying to merge
mentioned in commit 380f0662
merged
