Commit ef7d3bf0 authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

Merge branch 'refiner' into 'main'

Minimizer: rm unused member function, make getter functions const, correct typos

See merge request !504
parents 2ffc98b4 b5ea2d50
Pipeline #72294 passed with stage
in 3 minutes and 42 seconds