25 Sep
2023
25 Sep
'23
10:33 p.m.
Ben Gamari <ben@well-typed.com> writes:
Hi all,
I will be performing a GitLab upgrade later this evening (likely around 18:00 EDT). I expect this will take only a few minutes.
The upgrade is complete. As always, let me know if anything looks amiss. Cheers, - Ben