Closed Manishearth closed 5 years ago
Oops, fixed
@bors-servo r+ I've deployed this change.
:pushpin: Commit a0b1ec4 has been approved by jdm
:hourglass: Testing commit a0b1ec45a9e7136dfaf69c73165c436768215dfa with merge 33980890472f0dfad7ac1588ed446612e3c08a5a...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 33980890472f0dfad7ac1588ed446612e3c08a5a to master...
r? @jdm
This change is