We will upgrade Gitlab to a new major version on Monday 2025-05-19, 6:00 AM UTC. We expect the service to be interrupted for less than 10 minutes. If you run into issues after the upgrade please let us know at atlas_admin@aei.mpg.de
Also fixes 32-bit wrapper to use proper config flag, and to disable it
on arm64, where it doesn't work.
TESTED:
Passes on all platforms with all applicable SDKs.
