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

rust up once again #538

Merged
merged 1 commit into from
Jul 7, 2016
Merged

rust up once again #538

merged 1 commit into from
Jul 7, 2016

Conversation

julienw
Copy link
Contributor

@julienw julienw commented Jul 5, 2016

No description provided.

@julienw julienw force-pushed the rust-up-20160704 branch 4 times, most recently from 6744e30 to 22cf885 Compare July 5, 2016 15:34
docopt = "0.6.78"
docopt_macros = "0.6.80"
docopt_macros = "0.6.85"
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

new versions to cope with the new rust nightly

@coveralls
Copy link

coveralls commented Jul 7, 2016

Coverage Status

Coverage decreased (-0.02%) to 32.459% when pulling fb4296d on julienw:rust-up-20160704 into d0466d8 on fxbox:master.

@julienw
Copy link
Contributor Author

julienw commented Jul 7, 2016

it's GREEN :)

r? @JohanLorenzo @fabricedesre

@julienw
Copy link
Contributor Author

julienw commented Jul 7, 2016

(note: nightly-2016-07-04 is the last one so far)

@JohanLorenzo
Copy link
Contributor

I don't see anything odd in the PR or in Travis. r+

@julienw julienw merged commit a950cda into fxbox:master Jul 7, 2016
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.

3 participants