Merge branch 'feature/renameToTheodolite' into 'master'
Warning
Sören Henning
created pipeline for commit bbf0d3eb
, finished
For master
7 minutes 37 seconds, queued for 1 seconds