Skip to content

Implement API to get default shell#75455

Merged
Tyriar merged 2 commits intomasterfrom
tyriar/75091_default_shell_api
Jun 14, 2019
Merged

Implement API to get default shell#75455
Tyriar merged 2 commits intomasterfrom
tyriar/75091_default_shell_api

Conversation

@Tyriar
Copy link
Copy Markdown
Contributor

@Tyriar Tyriar commented Jun 13, 2019

Fixes #75091

@Tyriar
Copy link
Copy Markdown
Contributor Author

Tyriar commented Jun 14, 2019

Merging in since changes here block #75509 getting fixed and it's just proposed, I'll keep the issue open to talk about it in the API sync.

@Tyriar Tyriar merged commit 52a351f into master Jun 14, 2019
@Tyriar Tyriar deleted the tyriar/75091_default_shell_api branch June 14, 2019 16:13
@github-actions github-actions bot locked and limited conversation to collaborators Mar 28, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Expose default shell API

1 participant