[webauthn] new commits pushed by rlin1

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

* more detailed definition of TEE and SE added
  by rlin1
https://github.com/w3c/webauthn/commit/f4efc72da8fa87fe174256143f07ef0d94f833d6

Received on Tuesday, 30 May 2017 11:00:41 UTC