[webauthn] new commits pushed by rlin1

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

* more corrections
  by Rolf Lindemann
https://github.com/w3c/webauthn/commit/200d14abeeee5a7257681913355e3d1008883d09

Received on Wednesday, 14 September 2016 11:48:32 UTC