Merge pull request #14382 from mikedn/dead-opers
authorBruce Forstall <brucefo@microsoft.com>
Mon, 9 Oct 2017 20:20:11 +0000 (13:20 -0700)
committerGitHub <noreply@github.com>
Mon, 9 Oct 2017 20:20:11 +0000 (13:20 -0700)
Removed unused opers and code


Trivial merge