Closed nical closed 4 years ago
r? @kvark
@bors-servo r=kvark
:pushpin: Commit a06c20b has been approved by kvark
:hourglass: Testing commit a06c20b8fc1776204a90406bf0507df33b0a603d with merge ffeb6781f97a42275ac0301ee13d522dcb693f28...
:sunny: Test successful - checks-travis Approved by: kvark Pushing ffeb6781f97a42275ac0301ee13d522dcb693f28 to master...
Fixes #445 See also #421.