[web-bluetooth] new commits pushed by github-actions[bot]

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/882ea148387580d3a2d0c84b86d228cbda4fb050



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 27 March 2023 07:00:25 UTC