Skip to content

A batch of small efficiency edits suggested by codex.#192

Merged
rmjarvis merged 30 commits into
mainfrom
efficiency
Feb 28, 2026
Merged

A batch of small efficiency edits suggested by codex.#192
rmjarvis merged 30 commits into
mainfrom
efficiency

Commits

Commits on Feb 26, 2026