Skip to content
Snippets Groups Projects

Merge branch 'fix-declarations-for-head-TAs' into 'dev'

Warning
created pipeline for commit 74251ed6
, finished
Related merge request !335 to merge fix-declarations-for-head-TAs into dev
6 minutes 20 seconds, queued for 3 seconds