• Remove file accidentally added in #17219. 

    And prevent it from happening again.
    @emilio
    emilio committed Jun 8, 2017
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    c9320de