[webauthn] new commits pushed by emlun

The following commits were just pushed by emlun to https://github.com/w3c/webauthn:

* Prettify whitespace
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/8e5819d14abb4267f9007509205ea5022e7b6690

* Use the correct Infra reference for "empty"
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/645538f3220ab85cb31b84d6fb9003e1411ca07d

Received on Tuesday, 2 July 2019 14:26:39 UTC