- From: François Beaufort via GitHub <sysbot+gh@w3.org>
- Date: Tue, 27 Apr 2021 13:45:04 +0000
- To: public-web-bluetooth-log@w3.org
FYI I'm thinking of using `sequence` instead of `map` for those filters. See https://github.com/WebBluetoothCG/web-bluetooth/pull/545 -- GitHub Notification of comment by beaufortfrancois Please view or discuss this issue at https://github.com/WebBluetoothCG/web-bluetooth/pull/297#issuecomment-827618449 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 27 April 2021 13:45:06 UTC