Merge branch 'release/3.1' => 'master' (dotnet/Extensions#2517)
authorDoug Bunting <6431421+dougbu@users.noreply.github.com>
Thu, 17 Oct 2019 17:37:42 +0000 (10:37 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Oct 2019 17:37:42 +0000 (10:37 -0700)
- no-op merge

Commit migrated from https://github.com/dotnet/Extensions/commit/3af74ca52b4458a257083dff23c480d43ab7bb06


Trivial merge