Commit 1c28166e authored Sep 11, 2023 by Vít Starý Novotný

Merge branch 'fix/course-instructor-names' into 'main'

Update names of course instructors

See merge request !10