Note: **if merging do not delete branch** -- GitHub Notification of comment by davebrowning Please view or discuss this issue at https://github.com/w3c/dxwg/pull/1112#issuecomment-537486660 using your GitHub accountReceived on Wednesday, 2 October 2019 13:15:26 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:28:33 UTC