Include gap in body_margin, fixing mid-phase pruning of in-gap contacts.
Yuval Tassa · Jul 13, 2026, 12:04 PM UTC
dddb2767c69bCommits that changed this file.
Commits included in published releases. Unpublished intermediate commits are private. Showing matches from the latest 100 commits ending at this release.
Yuval Tassa · Jul 13, 2026, 12:04 PM UTC
dddb2767c69b