Commit df450dd9 authored by Benjamin Mann's avatar Benjamin Mann
Browse files

Merge branch 'mogli/adaptiveRefinement_optimization' into 'master'

Optimizations: Red-Green Refinement

See merge request !503
parents 474976d2 537bdc9b
Pipeline #39040 passed with stages
in 124 minutes and 16 seconds