Squashed '$external/ProxyGenerator/' content from commit 4f6a1f0

git-subtree-dir: $external/ProxyGenerator
git-subtree-split: 4f6a1f0ba413e23acb9df29eeaaff34b7a007fa0
Merge commit 'fa472cf2c4fe1da83f65799c52029847bd984190' as '$external/ProxyGenerator'