Skip to content

Conversation

mairaw
Copy link
Contributor

@mairaw mairaw commented Jul 13, 2018

Reacting to comment on a previous PR:
#6395 (comment)

Copy link
Contributor

@rpetrusha rpetrusha left a comment

Choose a reason for hiding this comment

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

LGTM, @mairaw. This is ready to merge.

@rpetrusha rpetrusha merged commit ea82aac into master Jul 13, 2018
@rpetrusha
Copy link
Contributor

Sorry, @mairaw. I inadvertently merged your PR.

@mairaw mairaw deleted the mairaw-patch-3 branch July 13, 2018 18:42
@mairaw
Copy link
Contributor Author

mairaw commented Jul 13, 2018

That's fine. I don't mind @rpetrusha.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants