Closed nical closed 4 years ago
r? @gw3583
@bors-servo r+
:pushpin: Commit 1461169 has been approved by gw3583
:hourglass: Testing commit 1461169f1496863055d151588895137785b95f5a with merge 0dd4befdfcebaaa7cedcc08308c61cef308ba547...
:sunny: Test successful - checks-travis Approved by: gw3583 Pushing 0dd4befdfcebaaa7cedcc08308c61cef308ba547 to master...
Fixes #406.