Skip to content

Update harfbuzz-sys#24775

Merged
bors-servo merged 1 commit intomasterfrom
h
Nov 18, 2019
Merged

Update harfbuzz-sys#24775
bors-servo merged 1 commit intomasterfrom
h

Conversation

@SimonSapin
Copy link
Member

… to pick up servo/rust-harfbuzz#173, which hopefully fixes #24611

@jdm
Copy link
Member

jdm commented Nov 18, 2019

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 2bb4340 has been approved by jdm

@highfive highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Nov 18, 2019
… to pick up servo/rust-harfbuzz#173, which hopefully fixes #24611
@highfive highfive added S-awaiting-review There is new code that needs to be reviewed. and removed S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. labels Nov 18, 2019
@SimonSapin
Copy link
Member Author

Pushed a different commit hash to get Homu unstuck

@bors-servo r=jdm

@bors-servo
Copy link
Contributor

📌 Commit 1ebfbd5 has been approved by jdm

@highfive highfive added S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. and removed S-awaiting-review There is new code that needs to be reviewed. labels Nov 18, 2019
@jdm
Copy link
Member

jdm commented Nov 18, 2019

@bors-servo p=10

@bors-servo
Copy link
Contributor

⌛ Testing commit 1ebfbd5 with merge 2a5b7be...

bors-servo pushed a commit that referenced this pull request Nov 18, 2019
Update harfbuzz-sys

… to pick up servo/rust-harfbuzz#173, which hopefully fixes #24611
@bors-servo
Copy link
Contributor

☀️ Test successful - linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: jdm
Pushing 2a5b7be to master...

@bors-servo bors-servo merged commit 1ebfbd5 into master Nov 18, 2019
@bors-servo bors-servo deleted the h branch November 18, 2019 22:31
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Nov 18, 2019
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.

Builds intermittently fail with a permission error during harfbuzz builds

4 participants