Merge pull request #37751 from steveharter/PropertyPolicy
authorSteve Harter <steveharter@users.noreply.github.com>
Fri, 12 Jun 2020 20:05:02 +0000 (15:05 -0500)
committerGitHub <noreply@github.com>
Fri, 12 Jun 2020 20:05:02 +0000 (15:05 -0500)
Change additional PropertyPolicy terminology


Trivial merge