[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:

* Fix bikeshed issue with 'denied' (#602)

SHA: 4cb56840b7032fbd5d09ce772c55974ac3c16b09
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/6452a297204efe96928c0a852cf9328f736ce02f



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

Received on Friday, 24 March 2023 12:18:34 UTC