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-configReceived on Wednesday, 7 October 2020 20:33:47 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:28:35 UTC