Tutorial groups: Change channel prefix for tutorial-groups#7316
Merged
krusche merged 3 commits intodevelopfrom improvement/communication/tutor-group-channel-prefixOct 4, 2023
+6-7
Tutorial groups: Change channel prefix for tutorial-groups#7316