Move libsgm code to lib/libsgm
Merge request reports
Activity
mentioned in commit 28d0b1ac
mentioned in issue #354 (closed)
Please register or sign in to reply
!! The university Gitlab servers will be under database migration and maintenance on 6.5. from 08:00 onwards. !!
!! There will be some sporadic server outages of undetermined duration during the day and we suggest you avoid any larger projects or CI/CD runs during this period. !!
!! There will be an announcement here when the maintenance is done. !!
merged
mentioned in commit 28d0b1ac
mentioned in issue #354 (closed)