Closed jdm closed 3 years ago
@bors-servo r+
:pushpin: Commit a5ebf31 has been approved by jdm
:hourglass: Testing commit a5ebf312e9fad4d17751763ba74d35922e4b470e with merge 9de2559d537e043baf46e03f443ece2217c9a882...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 9de2559d537e043baf46e03f443ece2217c9a882 to master...
Fixes #177.