[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 BluetoothDevice.forget() (#574)

SHA: f9ee525ad980b348b065441b449afc1bc1960b36
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/67733f1ab8a1c18d12edfac7b533928b62fd9460



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

Received on Monday, 11 April 2022 08:40:30 UTC