Re: [webrtc-ice] Migrate from WebIDL void to undefined (#38)

dup of #37 

-- 
GitHub Notification of comment by dontcallmedom
Please view or discuss this issue at https://github.com/w3c/webrtc-ice/pull/38#issuecomment-734888252 using your GitHub account


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

Received on Friday, 27 November 2020 15:35:15 UTC