Skip to content

chore: repoint GeneralizedNotationNotation URLs to renamed repo slug - #2

Merged
ActInfInstitute merged 1 commit into
mainfrom
chore/org-rename-repoint
Sep 22, 2026
Merged

ActInfInstitute merged 1 commit into
mainfrom
chore/org-rename-repoint

chore: repoint GeneralizedNotationNotation URLs to renamed repo slug …

420aa1c
Select commit
Loading
Failed to load commit list.