tree 4d8e3d4afdf82c34dc20ae05ff6bfb568ab314fe
parent 65020c9439e06e6863b107424daf75078b6c51f1
author evanm <evanm@google.com> 1528235607 +0200
committer Florian Weikert <fwe@google.com> 1532709769 +0200

Removing some google-internal machinery.

PiperOrigin-RevId: 199362602