GitLab will be upgraded on 14-April-2025 between 12:00 and 14:00. There may be small periods of service instability.
Closes #289 (closed)
assigned to @rjw57
approved this merge request
enabled an automatic merge when all merge checks for 8ef96f43 pass
merged
mentioned in commit f32d2082