Merge pull request #26280 from dotnet-maestro-bot/merge/release/3.0-to-release/3.1
authorAnirudh Agnihotry <anirudhagnihotry098@gmail.com>
Tue, 20 Aug 2019 19:54:26 +0000 (12:54 -0700)
committerGitHub <noreply@github.com>
Tue, 20 Aug 2019 19:54:26 +0000 (12:54 -0700)
[automated] Merge branch 'release/3.0' => 'release/3.1'

1  2 
eng/Versions.props

Simple merge