Skip to content

Conversation

@oandregal
Copy link
Member

@oandregal oandregal commented Aug 1, 2018

After merging #5183 the code that has been removed in this PR is no longer needed.

@oandregal oandregal self-assigned this Aug 1, 2018
Copy link
Member

@jorgefilipecosta jorgefilipecosta left a comment

Choose a reason for hiding this comment

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

Looks good to me 👍 Thank you for catching this.

@oandregal oandregal merged commit 32beb16 into master Aug 2, 2018
@oandregal oandregal deleted the remove/taxonomy-unused-code branch August 2, 2018 06:02
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