Skip to content

chore(contributions): mark the fontTools pull request as merged - #47

Merged
Endika merged 1 commit into
mainfrom
chore/fonttools-merged
Jul 27, 2026
Merged

chore(contributions): mark the fontTools pull request as merged#47
Endika merged 1 commit into
mainfrom
chore/fonttools-merged

Conversation

@Endika

@Endika Endika commented Jul 27, 2026

Copy link
Copy Markdown
Owner

fonttools/fonttools#4137 was merged by behdad, so the card moves from open to merged and its left border turns purple.

@Endika
Endika merged commit c060e1d into main Jul 27, 2026
3 checks passed
@Endika
Endika deleted the chore/fonttools-merged branch July 27, 2026 21:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant