Skip to content

specdelta: -dir names a set, so the move gate has an exit that is not a derogation - #875

Merged
tannevaled merged 2 commits into
mainfrom
specdelta-dir-set
Nov 3, 2026
Merged

tannevaled merged 2 commits into
mainfrom
specdelta-dir-set