Merge branch 'rprechelt-random-interface' into 'master'
Updates to RNGManager interface and RNG names See merge request !220
No related branches found
No related tags found
Pipeline #1937 passed
Stage: quality
Stage: config
Stage: build
Stage: test
Stage: example
Stage: build_test_example
Stage: install
Stage: optional