Hearing no reply, I have just merged the PR. -- GitHub Notification of comment by xfq Please view or discuss this issue at https://github.com/w3c/dap-charter/issues/88#issuecomment-618758517 using your GitHub accountReceived on Friday, 24 April 2020 01:55:44 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:57 UTC