Closed valpackett closed 5 years ago
Is this PR planned to be merged eventually? I would like to see this integrated into gaol
.
@bors-servo r+
:pushpin: Commit 897b515 has been approved by jdm
:hourglass: Testing commit 897b515efa26d044158ec2477e7f613f48d180e5 with merge 3882c7f7c27b7908b6d574a6e7e6a86598ecbba4...
:sunny: Test successful - status-travis Approved by: jdm Pushing 3882c7f7c27b7908b6d574a6e7e6a86598ecbba4 to master...
Fixes #38.