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

Commits

Commits on Sep 22, 2026