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