Skip to content

/ home

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

Jump to bottom

Redox OS #1

Merged
merged 1 commit into from Jan 15, 2019
Merged

Redox OS #1

merged 1 commit into from Jan 15, 2019

Conversation

@ids1024
Copy link
Contributor

@ids1024 ids1024 commented Jul 30, 2017

No description provided.

@ids1024
Redox OS
Verified
This commit was signed with a verified signature.
ids1024 Ian Douglas Scott
GPG key ID: 4924E10E199B5959 Learn about signing commits
abf65ad
@ids1024
Copy link
Contributor Author

@ids1024 ids1024 commented Sep 9, 2017

Ping @brson
@jackpot51
Copy link

@jackpot51 jackpot51 commented Jan 14, 2019

@alexcrichton could you take a look at this?
@alexcrichton
Copy link
Collaborator

@alexcrichton alexcrichton commented Jan 14, 2019

Sorry, but I don't maintain this crate
@jackpot51
Copy link

@jackpot51 jackpot51 commented Jan 14, 2019 •
edited

Who maintains it now? Is it still being used by cargo and rustc?
@brson brson merged commit 4f887cf into brson:master Jan 15, 2019
@brson
Copy link
Owner

@brson brson commented Jan 15, 2019

This is published as 0.3.4. Thanks.

If anybody wants to be a maintainer of this crate they are welcome.
@jackpot51
Copy link

@jackpot51 jackpot51 commented Jan 15, 2019

Thank you @brson
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
@ids1024 @jackpot51 @alexcrichton @brson
You can’t perform that action at this time.