Merge release-2023 into main (!3858) · Merge requests · GROMACS / GROMACS · GitLab

Andrey Alekseenko requested to merge aa-merge-2023-into-main into main Oct 13, 2023

No conflicts, just keeping the branches in sync.

Don't squash!