Skip to content

Conversation

jfkthame
Copy link
Collaborator

Hmm, looks like github wants to include the previous commit (4a00a82) in this PR, although you already cherry-picked that change. Not sure offhand how to clean that up here, but I expect you can deal with it. :)

@behdad behdad closed this in 7691a15 Jan 29, 2014
@kcc kcc mentioned this pull request Oct 9, 2015
gpgreen pushed a commit to gpgreen/harfbuzz that referenced this pull request Jan 10, 2024
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.

2 participants