fix #515 and ensure that a changed objective is always set#518

Merged

axelvonkamp merged 1 commit intomasterfrom issue_515

Jul 1, 2024

+2-1

Commits on Jul 1, 2024

fix #515 and ensure that a changed objective is always set
axelvonkamp
committed