Skip to content

Remove the subtree edge case entirely by allowing zero-length subtrees - #275

Merged
davidben merged 3 commits into
mainfrom
remove-edge-case
Jul 20, 2026
Merged

Remove the subtree edge case entirely by allowing zero-length subtrees#275
davidben merged 3 commits into
mainfrom
remove-edge-case

Commits

Commits on Jul 17, 2026

Commits on Jul 18, 2026

Commits on Jul 20, 2026