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

Apply suggestion from @lukevalenta

97a3a3c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar