Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

changes suggested on #971 #1020

Merged
merged 2 commits into from
Jun 6, 2017
Merged

Conversation

goenning
Copy link
Contributor

@goenning goenning commented Jun 5, 2017

#971 was merged before I pushed the changes, so here is the new PR :)

Copy link
Contributor

@ramya-rao-a ramya-rao-a left a comment

Choose a reason for hiding this comment

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

Oh sorry, I was a bit sleep deprived and just read your replies on my comments and assumed your changes we in :)

@ramya-rao-a ramya-rao-a merged commit 333e88a into microsoft:master Jun 6, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants