• Fix Servo build.

    @emilio
    emilio committed Jul 23, 2019
    Verified
    This commit was signed with a verified signature.
    emilio Emilio Cobos Álvarez
    GPG key ID: E1152D0994E4BF8A Learn about signing commits
    8665d9d