Skip to content

[sequential] Use discretization tag instead of deprecated enum

Timo Koch requested to merge fix/use-discretization-tag into master

Merge request reports