Skip to content
This repository has been archived by the owner on Nov 16, 2023. It is now read-only.

Merge pull request #443 from microsoft/develop #444

Merged
merged 1 commit into from
Aug 20, 2019
Merged

Merge pull request #443 from microsoft/develop #444

merged 1 commit into from
Aug 20, 2019

Commits on Aug 20, 2019

  1. Merge pull request #443 from microsoft/develop 

    sync to master
    @saraclay
    saraclay committed Aug 20, 2019
    Configuration menu
    Copy the full SHA
    765c77f View commit details
    Browse the repository at this point in the history