- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Wed, 12 Apr 2023 14:20:41 +0000
- To: public-device-apis-log@w3.org
I think it would be pretty challenging for the tool to determine what the right links should be; more generally, in a non-trivial number of cases, fixing the links forces rethinking how specs integrate one with another. -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/html-media-capture/pull/41#issuecomment-1505366447 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 12 April 2023 14:20:43 UTC