Skip to content

fix(language): a file whose terms read each other's sums is refused at load - #780

Merged
FBumann merged 2 commits into
mainfrom
claude/eager-ptolemy-nzg4oj
Sep 29, 2026
Merged

fix(language): a file whose terms read each other's sums is refused at load#780
FBumann merged 2 commits into
mainfrom
claude/eager-ptolemy-nzg4oj

Add the changelog link for #780

530e522
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar