Skip to content

check-orientation: the pin leg passed on REVERSED doctrine — it read a string, not a polarity - #651

Merged
jobordu merged 1 commit into
mainfrom
tl/316-reversed-doctrine
Sep 8, 2026
Merged

jobordu merged 1 commit into
mainfrom
tl/316-reversed-doctrine

Commits

Commits on Sep 8, 2026