Skip to content

Promote the prose-gate fixes and the configure.sh sweep to main - #502

Merged
ptr727 merged 3 commits into
mainfrom
develop
Aug 1, 2026
Merged

Promote the prose-gate fixes and the configure.sh sweep to main#502
ptr727 merged 3 commits into
mainfrom
develop

Commits

Commits on Aug 1, 2026