W3C home > Mailing lists > Public > public-webauthn@w3.org > December 2017

[webauthn] Pull Request: Change id -> ID

From: Emil Lundberg via GitHub <sysbot+gh@w3.org>
Date: Fri, 08 Dec 2017 14:54:22 +0000
To: public-webauthn@w3.org
Message-ID: <pull_request.opened-157260395-1512744861-sysbot+gh@w3.org>

emlun has just submitted a new pull request for https://github.com/w3c/webauthn:

== Change id -> ID ==
@jcjones please review and merge.

See https://github.com/w3c/webauthn/pull/722

Received on Friday, 8 December 2017 14:54:24 UTC

This message: [ Message body ]
Next message: J.C. Jones via GitHub: "[webauthn] new commits pushed by jcjones"
Previous message: GitHub: "[w3c/webauthn] a7afbf: Change id -> ID"
Next in thread: J.C. Jones via GitHub: "[webauthn] Merged Pull Request: Change id -> ID"
Reply: J.C. Jones via GitHub: "[webauthn] Merged Pull Request: Change id -> ID"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 07:26:30 UTC