assigned to @kartmann
Tested on ARMAR-7
marked this merge request as ready
enabled an automatic merge when the pipeline for a0f1426c succeeds
canceled the automatic merge
merged
mentioned in commit 6dc08fcd