OK - done. -- GitHub Notification of comment by dr-shorthair Please view or discuss this issue at https://github.com/w3c/dxwg/pull/1110#issuecomment-548295283 using your GitHub accountReceived on Thursday, 31 October 2019 10:02:06 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:28:33 UTC