Skip to content
Snippets Groups Projects
Commit 2c25776f authored by Stephan Seitz's avatar Stephan Seitz
Browse files

Merge branch 'rng' into 'master' 

Make sure that the RNG counter can be substituted during loop cutting

See merge request !190
parents 86b97688 945e6bd3
No related branches found
No related tags found
Checking pipeline status