Closed lnicola closed 2 weeks ago
:pushpin: Commit dd9956fe537bbb3462b78da3e4572d88ca4a2d5b has been approved by lnicola
It is now in the queue for this repository.
:hourglass: Testing commit dd9956fe537bbb3462b78da3e4572d88ca4a2d5b with merge 1a5bb27c018c947dab01ab70ffe1d267b0481a17...
:sunny: Test successful - checks-actions Approved by: lnicola Pushing 1a5bb27c018c947dab01ab70ffe1d267b0481a17 to master...
@bors r+