SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to increase system resources. The reboot will occur on Wednesday, 2024-05-15, between 6:00 and 7:00 PM.
Seminar repository update for 2022 See merge request pa165/seminar-02!1