Re: [mediacapture-main] Fix DeviceChangeEventInit WebIDL definition (#1000)

@jan-ivar I think this is a fix - the "members" section says that it is a sequence of deviceInfo.
@dontcallmedom I think this doesn't need to be submitted by a group member (however joining the group would still be OK!)


-- 
GitHub Notification of comment by alvestrand
Please view or discuss this issue at https://github.com/w3c/mediacapture-main/pull/1000#issuecomment-2082055105 using your GitHub account


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

Received on Monday, 29 April 2024 07:29:54 UTC