Some minor internal and API fixes:
Passed
Frederik Hennig
created pipeline for commit
5d9e47f3
, finished
1 related merge request: !410 Some minor internal and API fixes
2 minutes 37 seconds, queued for 1 seconds