Merge branch 'release/3.1' into merge/release/3.0-to-release/3.1
authorAnirudh Agnihotry <anirudhagnihotry098@gmail.com>
Wed, 11 Sep 2019 06:24:34 +0000 (23:24 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Sep 2019 06:24:34 +0000 (23:24 -0700)
1  2 
eng/Version.Details.xml
eng/Versions.props

Simple merge
Simple merge