Re: [web-bluetooth] Fix bikeshed issue with 'denied' (#601)

Approved post-merge. (Good reminder for me to turn on required PR approvals.)

-- 
GitHub Notification of comment by reillyeon
Please view or discuss this issue at https://github.com/WebBluetoothCG/web-bluetooth/pull/601#issuecomment-1483313418 using your GitHub account


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

Received on Friday, 24 March 2023 19:33:23 UTC