Include a leaf's padding and border in its §4.5 automatic minimum size (#1978)#1978
Closed
adityasharat wants to merge 1 commit into
Closed
Include a leaf's padding and border in its §4.5 automatic minimum size (#1978)#1978adityasharat wants to merge 1 commit into
adityasharat wants to merge 1 commit into
Commits
Commits on Jun 18, 2026
- authored andcommitted
