Skip to content

Conversation

@crutkas
Copy link
Member

@crutkas crutkas commented Nov 11, 2019

getting specs into main repo from Mike's repo, trying to make us slowly a single entity :)

@crutkas crutkas requested a review from enricogior November 11, 2019 22:02
@crutkas crutkas added the Issue-Docs Documentation issue that needs to be improved label Nov 11, 2019
@crutkas crutkas merged commit 9f78af2 into microsoft:master Nov 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Issue-Docs Documentation issue that needs to be improved

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants