make-visible: use port-name-matches? for symbols#708
Merged
rfindler merged 1 commit intoracket:masterfrom Jan 5, 2025
Merged
Commits
Commits on Jan 5, 2025
- authored andcommitted
make-visible: use port-name-matches? for symbols#708