[webauthn] new commits pushed by emlun

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

* Address review comment

See https://github.com/w3c/webauthn/pull/842#discussion_r195582774
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/5945017a25332720f232eb2cfc83f104df1768a9

Received on Tuesday, 19 June 2018 18:08:30 UTC