Skip to content

Make effective discovery the default for type/member -D; drop empty sections#325

Merged
richlander merged 4 commits into
mainfrom
effective-discovery-default
May 30, 2026
Merged

Make effective discovery the default for type/member -D; drop empty sections#325
richlander merged 4 commits into
mainfrom
effective-discovery-default

Commits

Commits on May 29, 2026

Commits on May 30, 2026