[webauthn] new commits pushed by equalsJeffH

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

* polish RP ID dfn
  by JeffH
https://github.com/w3c/webauthn/commit/994a5e43446866e8604e20c4f48a488aa00f841f

* polish authn & regstn dfns
  by JeffH
https://github.com/w3c/webauthn/commit/7e2037ab6c7925bf5c75b3b4eea3f1c3b2af8f25

* alphabetize terminology
  by JeffH
https://github.com/w3c/webauthn/commit/a096104bd3d15e56d12db77acc6cdf96b8f278f7

* minor edits
  by JeffH
https://github.com/w3c/webauthn/commit/6d4cfff8e16618894842ee6ff404d548cbeb1f6b

* decorate all RP ID occurances
  by JeffH
https://github.com/w3c/webauthn/commit/a76f962f8cbb3d6b66f3f8790550fda0746fddd6

* figuring out rpId issues, modest edits to improve issue #414
  by JeffH
https://github.com/w3c/webauthn/commit/8977e60fb807bedc208d6f90f50722f7654f1c6b

* Merge branch 'master' into jeffh-origin-rpid
  by JeffH
https://github.com/w3c/webauthn/commit/7455576cb848f2512d0f0877bed4bd92b3b1f663

* fixup RP ID ddfn and rpId handling, improves #255, #259, #260, #416
  by JeffH
https://github.com/w3c/webauthn/commit/c9dd25880da8b45c1d0df5b94c4d7202873e4aba

Received on Tuesday, 16 May 2017 22:01:17 UTC