Skip to content

Print exotic identifiers properly when completing polyvariants - #870

Merged
zth merged 5 commits into
masterfrom
fix-printing-exotic-polyvar-constructors
Dec 18, 2023
Merged

Print exotic identifiers properly when completing polyvariants#870
zth merged 5 commits into
masterfrom
fix-printing-exotic-polyvar-constructors

changelog

b12a445
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs