Skip to content

Fix isDeviated predicate#735

Merged
jketema merged 1 commit intogithub:nextfrom
hvitved:fix-is-deviated
Oct 4, 2024
Merged

Fix `isDeviated` predicate#735
jketema merged 1 commit intogithub:nextfrom
hvitved:fix-is-deviated

Commits

Commits on Oct 4, 2024