Update names of course instructors (!10) · Merge requests · Petr Sojka / PB029 Web · GitLab

SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to apply security updates. The reboot will occur on Saturday, 2024-11-23, between 03:45 and 4:00 AM.

Vít Starý Novotný requested to merge fix/course-instructor-names into main Sep 11, 2023

This merge request updates the names of course instructors in fall 2023.