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.

Sign up for GitHub

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

Upgrade dlint #2561

Merged
1 commit merged into from
Aug 15, 2019
Merged

Upgrade dlint #2561

1 commit merged into from
Aug 15, 2019

Conversation

ghost
Copy link

@ghost ghost commented Aug 15, 2019

Upgrade dlint.

@ghost ghost requested a review from cocreature August 15, 2019 14:40
cocreature
cocreature approved these changes Aug 15, 2019
View reviewed changes
Copy link
Contributor

@cocreature cocreature left a comment

Choose a reason for hiding this comment

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

:shipit:

@ghost ghost merged commit 8828ff7 into master Aug 15, 2019
@ghost ghost deleted the dlint-upgrade branch August 15, 2019 17:28
This pull request was closed.
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
Development

Successfully merging this pull request may close these issues.
1 participant
@cocreature