- family-names: Citro
    given-names: Craig
  - family-names: Corrado
    given-names: Greg S.
  - family-names: Davis
    given-names: Andy
  - family-names: Dean
    given-names: Jeffrey
  - family-names: Devin
    given-names: Matthieu
  - family-names: Ghemawat
    given-names: Sanjay
  - family-names: Goodfellow
    given-names: Ian
  - family-names: Harp
    given-names: Andrew
  - family-names: Irving

      verifyHostname(hostname, it)
    }
  }

  /**
   * This is like [toLowerCase] except that it does nothing if this contains any non-ASCII
   * characters. We want to avoid lower casing special chars like U+212A (Kelvin symbol) because
   * they can return ASCII characters that match real hostnames.
   */
  private fun String.asciiToLowercase(): String {
    return when {
      isAscii() -> lowercase(Locale.US) // This is an ASCII string.

Marco Vermeulen <******@****.***> <******@****.***>
Mark Vieira <******@****.***> <******@****.***>
Michael Barnathan <******@****.***> <******@****.***>
Paul King <******@****.***> <******@****.***>
Paul Merlin <******@****.***> <******@****.***>
Peter Niederwieser <******@****.***> <pniederw@.(none)>
Peter Niederwieser <******@****.***> <pniederw@pniederw-PC.(none)>
Piotr Jagielski <******@****.***> <Piotr Jagielski>