W3C home > Mailing lists > Public > public-web-bluetooth-log@w3.org > December 2018

[web-bluetooth] Pull Request: Use actual type for Maps in BluetoothAdvertisingEventInit

From: Doug Turner via GitHub <sysbot+gh@w3.org>
Date: Mon, 10 Dec 2018 18:50:38 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <pull_request.opened-237427487-1544467837-sysbot+gh@w3.org>
dougt has just submitted a new pull request for https://github.com/WebBluetoothCG/web-bluetooth:

== Use actual type for Maps in BluetoothAdvertisingEventInit ==


See https://github.com/WebBluetoothCG/web-bluetooth/pull/418
Received on Monday, 10 December 2018 18:50:47 UTC

This archive was generated by hypermail 2.3.1 : Monday, 10 December 2018 18:50:47 UTC