Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

tectonic: upgrade cargo fetcher and cargoSha256 #80300

Merged
merged 1 commit into from Feb 17, 2020

Conversation

bhipple
Copy link
Contributor

@bhipple bhipple commented Feb 16, 2020

Infra upgrade as part of #79975; no functional change expected.

Infra upgrade as part of NixOS#79975; no functional change expected.
@bhipple
Copy link
Contributor Author

bhipple commented Feb 16, 2020

@GrahamcOfBorg build tectonic

@ofborg ofborg bot requested a review from lluchs February 16, 2020 22:06
marsam added a commit that referenced this pull request Feb 17, 2020
tectonic: upgrade cargo fetcher and cargoSha256
@marsam marsam merged commit 1acd9df into NixOS:master Feb 17, 2020
@marsam marsam merged commit 91aafa8 into NixOS:master Feb 17, 2020
@bhipple bhipple deleted the u/rust-cargo-tectonic branch June 2, 2020 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants