Skip to content

Conversation

@lpinca
Copy link
Member

@lpinca lpinca commented Nov 27, 2017

Leftovers from #1485
Refs: #932

@lpinca lpinca changed the title Remove no longer needed partial Remove leftovers from #1485 Nov 27, 2017
@lpinca
Copy link
Member Author

lpinca commented Nov 27, 2017

Feel free to push on this branch if you find more leftovers :)

@lpinca lpinca merged commit b26c7ea into master Nov 28, 2017
@lpinca lpinca deleted the remove/unneeded-partial branch November 28, 2017 13:51
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.

4 participants