Skip to content

Make the consolidated isloopclosed writable - #205

Merged
mikelangmayr merged 1 commit into
mainfrom
mike/consolidated-isloopclosed-write
Sep 15, 2026
Merged

mikelangmayr merged 1 commit into
mainfrom
mike/consolidated-isloopclosed-write

Commits

Commits on Sep 14, 2026