[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 88468caec499992ccbafafc8b9ca3f746d3eb8dc Use CSS numbering for table references too (#1324)
  by Travis-CI
https://github.com/w3c/webauthn/commit/3701cc2e70c6083f16baa5cad55da11ef9fa2887

Received on Wednesday, 30 October 2019 18:49:04 UTC