Skip to content

Use idText in a few more places#18842

Merged
1 commit merged into
masterfrom
idText
Oct 2, 2017
Merged

Use idText in a few more places#18842
1 commit merged into
masterfrom
idText

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Sep 29, 2017

Sequel to #18793

@ghost ghost merged commit d11172c into master Oct 2, 2017
@ghost ghost deleted the idText branch October 2, 2017 15:37
@microsoft microsoft locked and limited conversation to collaborators Jun 14, 2018
This pull request was closed.
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.

1 participant