[web-nfc] new commits pushed by kenchris

The following commits were just pushed by kenchris to https://github.com/w3c/web-nfc:

* Rename NFCPushMessage union to NFCMessageSource which is more aligned with WebIDL
  by Kenneth Christiansen
https://github.com/w3c/web-nfc/commit/bf85df9e534da7351fc4c870228857dddef37e0e

Received on Tuesday, 4 December 2018 13:28:45 UTC