New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Remove cargo-download #63

Merged

bors merged 1 commit into master from rm-cargo-download

Mar 27, 2022

Member

mkroening commented Mar 27, 2022

See hermit-os/hermit-rs#243


          Remove cargo-download

221a38e

See hermit-os/hermit-rs#243

mkroening self-assigned this

Member Author

mkroening commented Mar 27, 2022

bors r+

Contributor

bors bot commented Mar 27, 2022

Build succeeded:

bors bot merged commit 3796969 into master

bors bot deleted the rm-cargo-download branch

March 27, 2022 09:24

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet