Skip to content

constants: remove solving condition "other" from status "ok" group#118

Merged
FabianHofmann merged 1 commit intomasterfrom update-solver-statusApr 26, 2023