Skip to content
This repository was archived by the owner on May 29, 2023. It is now read-only.

Moved to new location #52

Merged
merged 1 commit into from
Oct 31, 2018
Merged

Moved to new location #52

merged 1 commit into from
Oct 31, 2018

Conversation

raphlinus
Copy link
Contributor

No description provided.

@raphlinus
Copy link
Contributor Author

@davelab6 Could you help get this merged, tweaking the Google admins if necessary?

@raphlinus
Copy link
Contributor Author

This basically addresses #50.

I don't understand the CI failure, it seems not related to the README change.

@raphlinus
Copy link
Contributor Author

The CI failure seems related to rust-lang/cargo#6015 . I haven't dug in to understand exactly what's going on. In any case, I think it should be addressed at the new location, and probably shouldn't block this doc-only change.

@davelab6 davelab6 merged commit 783f57a into google:master Oct 31, 2018
@robinst robinst deleted the moved branch January 11, 2021 04:47
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants