chore: board installation function update from GEWISDB#2017
Merged
tomudding merged 1 commit intoGEWIS:mainfrom Apr 30, 2025
Merged
chore: board installation function update from GEWISDB#2017tomudding merged 1 commit intoGEWIS:mainfrom
tomudding merged 1 commit intoGEWIS:mainfrom