Merge branch 'rprechelt-update-authors' into 'master'
Delete AUTHORS file See merge request !208
No related branches found
No related tags found
Pipeline #1835 passed with warnings
Stage: quality
Stage: config
Stage: build
Stage: test
Stage: example
Stage: build_test_example
Stage: install
Stage: optional