Fix #720; bool event + root find + terminate on first step#724
Merged
patrick-kidger merged 1 commit intodevfrom Jan 30, 2026
Merged
Fix #720; bool event + root find + terminate on first step#724patrick-kidger merged 1 commit intodevfrom
patrick-kidger merged 1 commit intodevfrom
