Skip to content

Conversation

jkotas
Copy link
Member

@jkotas jkotas commented Feb 28, 2019

@rpetrusha rpetrusha added this to the March 2019 milestone Feb 28, 2019
@rpetrusha
Copy link

LGTM, @jkotas. I'll merge your PR now.

@rpetrusha rpetrusha merged commit d152a44 into master Feb 28, 2019
@delete-merged-branch delete-merged-branch bot deleted the jkotas-patch-1 branch February 28, 2019 18:22
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