Skip to content

Conversation

carusogabriel
Copy link
Contributor

@carusogabriel carusogabriel commented Jan 4, 2018

Following #3001, and the last PR of its kind 👍

Next ones will remove duplicate empty lines :octocat:

@nikic
Copy link
Member

nikic commented Jan 6, 2018

Merged as a56ea44, thanks!

@nikic nikic closed this Jan 6, 2018
@carusogabriel carusogabriel deleted the clean-up branch January 7, 2018 00:43
This was referenced Jan 24, 2018
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