Skip to content
GitLab

Merge branch 'fix/use-discretization-tag' into 'master'

Merged Timo Koch requested to merge cherry-pick-f8a17a54 into releases/3.5

[sequential] Use discretization tag instead of deprecated enum

See merge request !187 (merged)

(cherry picked from commit f8a17a54)

bf969243 [sequential] Use discretization tag instead of deprecated enum

Merge request reports