Re: [web-nfc] Make NFCPushOptions optional for pushMessage

Fixed by #88.

-- 
GitHub Notif of comment by zolkis
See https://github.com/w3c/web-nfc/issues/82#issuecomment-154402252

Received on Friday, 6 November 2015 12:50:17 UTC