⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

When doing section-analysis, recurse in operators body#860

Merged
strub merged 1 commit intomainfrom
fix-749
Jan 12, 2026
Merged

When doing section-analysis, recurse in operators body#860
strub merged 1 commit intomainfrom
fix-749

Commits

Commits on Jan 12, 2026