REVIEW: apply reviewers suggestions
Passed
Timm Fitschen
created pipeline for commit
3c8d7551
, finished
1 related merge request: !22 F remove boost rdep
22 minutes 44 seconds, queued for 6 seconds