- From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
- Date: Mon, 27 Mar 2023 06:59:17 +0000
- To: public-web-bluetooth-log@w3.org
The following commits were just pushed by github-actions[bot] to https://github.com/WebBluetoothCG/web-bluetooth: * Add exclusionFilters to RequestDeviceOptions (#600) SHA: c185d6cab753599530a5cd2c66ef43c4037e1e2e Reason: push, by beaufortfrancois Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> by François Beaufort https://github.com/WebBluetoothCG/web-bluetooth/commit/378cf19f23bbf3b83e236589934cfcd772fa5876 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 27 March 2023 06:59:18 UTC