Skip to content

WIP: rebased and modified PR #179#216

Closed
fingolfin wants to merge 1 commit into
gap-packages:masterfrom
fingolfin:mh/synonym_bug
Closed

WIP: rebased and modified PR #179#216
fingolfin wants to merge 1 commit into
gap-packages:masterfrom
fingolfin:mh/synonym_bug

Recognize DeclareSynonym, with cascade of related changes

084521f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs