Closed jdm closed 3 years ago
@bors-servo r+
:pushpin: Commit 79a766b has been approved by jdm
:hourglass: Testing commit 79a766be72482fd71376f23765db1227b5feadfd with merge 3687d8513eda4ce0a4dc8f4ea31557c1ce078f39...
:sunny: Test successful - checks-travis, status-appveyor Approved by: jdm Pushing 3687d8513eda4ce0a4dc8f4ea31557c1ce078f39 to master...
Fixes #530.