Closed saschanaz closed 5 years ago
@bors-servo r+ Thanks!
:pushpin: Commit 1528e56 has been approved by jdm
:hourglass: Testing commit 1528e56c9b1ea294d544ecd37efa9b11c4a8aa08 with merge 4ef82e7940b3ab57ffb2bcf5bcac1dbb89212ad1...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 4ef82e7940b3ab57ffb2bcf5bcac1dbb89212ad1 to master...
Closes #200