Skip to content

Fix is_supervisor helper#156

Merged
marcelveldt merged 1 commit intomainfrom
fix-is_supervisor-helper
Feb 14, 2024
Merged

Fix is_supervisor helper#156
marcelveldt merged 1 commit intomainfrom
fix-is_supervisor-helper

Commits

Commits on Feb 14, 2024