- From: GitHub <noreply@github.com>
- Date: Wed, 13 Jun 2018 09:23:37 -0700
- To: public-webauthn@w3.org
Received on Wednesday, 13 June 2018 16:24:02 UTC
Branch: refs/heads/master Home: https://github.com/w3c/webauthn Commit: 76f25149b970227fbe4960f379071962392a45c1 https://github.com/w3c/webauthn/commit/76f25149b970227fbe4960f379071962392a45c1 Author: Emil Lundberg <emil@emlun.se> Date: 2018-06-13 (Wed, 13 Jun 2018) Changed paths: M index.bs Log Message: ----------- Replace <pre class="idl">s with <xmp>s (#949) This fixes #943. **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.
Received on Wednesday, 13 June 2018 16:24:02 UTC