Skip to content

Use new isPrototyped predicate in RULE-8-2#457

Merged
jketema merged 1 commit intogithub:nextfrom
jketema:prototype
Nov 29, 2023
Merged

Use new `isPrototyped` predicate in RULE-8-2#457
jketema merged 1 commit intogithub:nextfrom
jketema:prototype

Commits

Commits on Nov 28, 2023