Skip to content

Conversation

ebraminio
Copy link
Collaborator

Fixes #701

@ebraminio ebraminio mentioned this pull request Jan 20, 2018
@ebraminio ebraminio force-pushed the cifreetype branch 8 times, most recently from 95d3f47 to d83fa0d Compare January 20, 2018 14:54
@ebraminio ebraminio closed this Jan 20, 2018
@ebraminio ebraminio reopened this Jan 22, 2018
@ebraminio ebraminio force-pushed the cifreetype branch 3 times, most recently from 08c50aa to 17ab56c Compare January 22, 2018 09:01
@ebraminio ebraminio merged commit bd752db into harfbuzz:master Jan 22, 2018
@ebraminio ebraminio deleted the cifreetype branch March 2, 2018 10:04
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