[web-nfc] new commits pushed by kenchris

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

* Editorial: Move state from the NFC interface to the settings object

This refactoring should make it easier to change the interface to
NFCReader, to address #152

Along the way, closes #156.
  by Daniel Ehrenberg
https://github.com/w3c/web-nfc/commit/aaad6d127a7572790ae9a5e8864d5501a05d5127

* Editorial: Cleanup of specification of cleanup steps

It doesn't make sense to reference "make disappear", a WebSocket operation,
but rather just "unloading document cleanup steps".
Unclear if we should add a list of pending pushes, just for this.

Addresses https://github.com/w3c/web-nfc/pull/177#discussion_r239021090
  by Daniel Ehrenberg
https://github.com/w3c/web-nfc/commit/c0dfac55835ed8c0f748b4a929ac778df5a20a43

Received on Thursday, 6 December 2018 09:59:27 UTC