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

Update to latest rustc #18

Merged
merged 1 commit into from
Oct 22, 2014
Merged

Update to latest rustc #18

merged 1 commit into from
Oct 22, 2014

Conversation

brendanzab
Copy link
Collaborator

Update to rustc 0.13.0-nightly (6ef8392b3 2014-10-20 22:17:49 +0000)

Needed to fix gl-rs, which is breaking lots of projects.

Closes #17

@brendanzab
Copy link
Collaborator Author

Sorry to ask, but it would be great if I could have merge rights to patch stuff like this - we have a huge amount of projects relying on rust-xml by way of gl-rs.

Update to rustc 0.13.0-nightly (6ef8392b3 2014-10-20 22:17:49 +0000)
brendanzab added a commit to brendanzab/gl-rs that referenced this pull request Oct 22, 2014
netvl added a commit that referenced this pull request Oct 22, 2014
Update to latest rustc
@netvl netvl merged commit 4c398c7 into netvl:master Oct 22, 2014
@netvl
Copy link
Owner

netvl commented Oct 22, 2014

@bjz, I was thinking of something like this too. I've granted you to project collaborators, check it :)

@brendanzab
Copy link
Collaborator Author

Cheers! @cmr might also be useful - he helps out when I am busy :P

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants