Skip to content

API hygiene: typed EditOperation constructors + public SearchResult#40

Merged
pablospe merged 3 commits into
mainfrom
task/cc8b6534-API-hygiene---typed-EditOperat
Jul 14, 2026
Merged

API hygiene: typed EditOperation constructors + public SearchResult#40
pablospe merged 3 commits into
mainfrom
task/cc8b6534-API-hygiene---typed-EditOperat

Commits

Commits on Jul 14, 2026