- From: Andrea Perego via GitHub <sysbot+gh@w3.org>
- Date: Wed, 07 Oct 2020 20:33:45 +0000
- To: public-dxwg-wg@w3.org
Just for our records, the issue I reported in https://github.com/w3c/dxwg/pull/1257#issuecomment-697999874 has been fixed - see https://github.com/w3c/respec/pull/3152 -- GitHub Notification of comment by andrea-perego Please view or discuss this issue at https://github.com/w3c/dxwg/pull/1257#issuecomment-705178507 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 7 October 2020 20:33:47 UTC