Closed paulrouget closed 4 years ago
See https://github.com/servo/servo/issues/25471
@bors-servo r+
(I remember we don't have bors for this repo yet 👀?)
Indeed!
See https://github.com/servo/servo/issues/25471