refactor: obnoxious and totally useless name change#16

Merged

Sjors merged 1 commit into2023/06/course-featurefrom

2023/06/course-merge-conflict

Jun 20, 2023

Commits on Jun 20, 2023

refactor: obnoxious and totally useless name change
Sjors
committed