[webauthn] new commits pushed by rlin1

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

* change names once more. See PR #161
  by rlin1
https://github.com/w3c/webauthn/commit/12ad7cf944ec3808aa599bad31f46f57c422d04b

Received on Wednesday, 14 September 2016 17:20:48 UTC