Skip to content

Conversation

@kant
Copy link
Contributor

@kant kant commented Dec 30, 2018

No description provided.

@bengry
Copy link
Contributor

bengry commented Dec 30, 2018

@kant The changes looks fine. For some reason CircleCI is not showing the build that should've be triggered when you created the PR.
Would you mind abandoning this PR and creating a new one? Hopefully it's a one-time issue.

@bengry bengry merged commit 92a15ac into microsoft:master Jan 3, 2019
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