[web-nfc] Pull Request: Rename NFCPushMessage union to NFCMessageSource which is more aligned…

• From: Kenneth Rohde Christiansen via GitHub <sysbot+gh@w3.org>
• Date: Tue, 04 Dec 2018 13:26:41 +0000
• To: public-web-nfc@w3.org
• Message-ID: <pull_request.opened-235807854-1543930000-sysbot+gh@w3.org>

kenchris has just submitted a new pull request for https://github.com/w3c/web-nfc:

== Rename NFCPushMessage union to NFCMessageSource which is more aligned… ==
… with WebIDL

See https://github.com/w3c/web-nfc/pull/174

Received on Tuesday, 4 December 2018 13:26:42 UTC