Closed emilio closed 7 years ago
We probably need to fix Travis unless we merge manually.
Gah, that's annoying, will see if I can address it.
Traced this down to a change in x11's build that now require a newer version, opened https://github.com/Daggerbot/x11-rs/issues/57
I guess it's fine to merge manually until that's fixed given this is a pretty unrelated change?
(I can also downgrade x11, of course, but then we need to re-upgrade it).
I would rather have a successful build than merge blindly, given that freetype 0.1.3 continues to work (as demonstrated in the other PR that merged).
@jdm The other PR merged without a new build.
@bors-servo try
:hourglass: Trying commit 4394009 with merge 3fe87f4...
Doing a try run because of https://github.com/Daggerbot/x11-rs/issues/57#issuecomment-272717581
:sunny: Test successful - status-travis
There you go, r? @jdm
@bors-servo: r+
:pushpin: Commit fa004b3 has been approved by jdm
:hourglass: Testing commit fa004b3 with merge d5aa525...
:sunny: Test successful - status-travis
r? @jdm (or anyone else)
This change is