Skip to content

Conversation

@P0lip
Copy link
Contributor

@P0lip P0lip commented Oct 11, 2019

No description provided.

@aeschli aeschli added this to the October 2019 milestone Oct 22, 2019
@aeschli aeschli merged commit c847392 into microsoft:master Oct 22, 2019
@aeschli
Copy link
Contributor

aeschli commented Oct 22, 2019

Thanks @P0lip , good catch!

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