Closed JohanLorenzo closed 8 years ago
Follow up of #59. #59 was deprecated because rust up was not needed anymore. Moreover Github doesn't to reopen the PR because the branch was either force pushed or recreated.
the branch was either force pushed or recreated
Changes Unknown when pulling 26b09dec89cc8c14bca1b2dd22103b5fd8155129 on JohanLorenzo:add-coverage into \ on fxbox:master**.
Changes Unknown when pulling f9806e7511eee946589fcf954004f3c9488a50d1 on JohanLorenzo:add-coverage into \ on fxbox:master**.
Carrying over r+ from @Yoric Edit: r+ done below. There are only 2 differences between #59 and this PR:
r=me
Follow up of #59. #59 was deprecated because rust up was not needed anymore. Moreover Github doesn't to reopen the PR because
the branch was either force pushed or recreated
.