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 2018 edition and remove all warnings. #390

Merged
merged 1 commit into from Sep 30, 2019
Merged

Conversation

jdm
Copy link
Member

@jdm jdm commented Sep 13, 2019

No description provided.

@jdm
Copy link
Member Author

jdm commented Sep 30, 2019

r? @nox

@nox
Copy link
Contributor

nox commented Sep 30, 2019

r=me but you should probably increase the version too.

@jdm
Copy link
Member Author

jdm commented Sep 30, 2019

That can happen the next time it needs to be published.

@jdm
Copy link
Member Author

jdm commented Sep 30, 2019

@bors-servo r=nox

@bors-servo
Copy link
Contributor

📌 Commit 179be63 has been approved by nox

@bors-servo
Copy link
Contributor

⌛ Testing commit 179be63 with merge d9adabc...

bors-servo pushed a commit that referenced this pull request Sep 30, 2019
Update to 2018 edition and remove all warnings.
@bors-servo
Copy link
Contributor

☀️ Test successful - checks-travis
Approved by: nox
Pushing d9adabc to master...

@bors-servo bors-servo merged commit 179be63 into master Sep 30, 2019
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.

None yet

3 participants