[webauthn] new commits pushed by equalsJeffH

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

* move ignored extensions admonition, thx emlun!
  by JeffH
https://github.com/w3c/webauthn/commit/33d0cee2bd0e8124dbe95f848c4d5b97a405f844

Received on Tuesday, 26 June 2018 18:30:48 UTC