Closed kvark closed 2 years ago
@bors-servo r+
:pushpin: Commit 35e9803 has been approved by kvark
:hourglass: Testing commit 35e9803e31da1dac042b0b8ba0763a542a2a6221 with merge 0bf82cfc9d9c7273c6914de8949448be0a282f18...
:sunny: Test successful - checks-github Approved by: kvark Pushing 0bf82cfc9d9c7273c6914de8949448be0a282f18 to master...
Fixes #224