Re: [web-bluetooth] Use sequence instead of map for data filters (#545) from François Beaufort via GitHub on 2021-04-27 (public-web-bluetooth-log@w3.org from April 2021)

From: François Beaufort via GitHub <sysbot+gh@w3.org>
Date: Tue, 27 Apr 2021 13:44:28 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <issue_comment.created-827617996-1619531066-sysbot+gh@w3.org>

Note that CI should succeed once https://github.com/WebBluetoothCG/web-bluetooth/pull/546 is merged.

-- 
GitHub Notification of comment by beaufortfrancois
Please view or discuss this issue at https://github.com/WebBluetoothCG/web-bluetooth/pull/545#issuecomment-827617996 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:44:29 UTC